Bib 自行重命名其商品,但其中一项甚至没有显示出来

Bib 自行重命名其商品,但其中一项甚至没有显示出来

想要将我的文献纳入投影仪框架中但它会引起奇怪的问题。

它将第二项和第三项列为(Dij59a 和 Dij59b)

@article{Bac54, 
    author={Backus, John W.},
    title={The IBM 701 Speedcoding System},
    booktitle={Proceedings of the 17th Annual ACM-SIAM Symposium on Discrete Algorithms},
    number= {1},
    year={1954},
    volume ={1},
    pages={4--6}
}
@phdthesis{Dij59,
    author= {Dijkstra, Edsger W.},
    title = {Communication with an Automatic Computer},
    school = {University of Amsterdam},
    type = {Diss.},
    year = {1959}
}
@unpublished{Dij62,
    author= {Dijkstra, Edsger W.},
    title = {Substitution processes},
    month = {Januar},
    year = {1959},
    note = {privat verbreitet}
}
@article{Dij68,
    author= {Dijkstra, Edsger W.},
    title = {Cooperating sequential processes},
    booktitle={Genuys, F. (Hrsg.): Programming Languages: NATO Advanced Study Institute},
    school = {University of Amsterdam},
    type = {Academic Press},
    year = {1968},
    pages={43--112}
}
@book{KR78,
    author= {Kernighan, Brian W. ; Ritchie, Dennis.},
    title = {Communication with an Automatic Computer},
    school = {University of Amsterdam},
    type = {Diss.},
    publisher= {Prentice-Hall},
    year = {1978}

}
@inproceedings{Pnu77,
    author= {Pnueli, Amir},
    title = {The Temporal Logic of Programs},
    booktitle= {18th Annual Symposium on Foundations of Computer Science},
    school = {University of Amsterdam},
    organization = {IEEE Computer Society},
    year = {1977},
    pages = {46--57}
}

乳胶线:

Edsger Dijkstra war ein niederländischer Informatiker, der in seiner
Dissertation \cite{Dij59} eine Programmiersprache für die Electrologica X1
entwickelte. Die X1 war ein Digital-Computer, der in den 1950er Jahren
in den Niederlanden produziert wurde. Neben seiner Dissertation sei hier
noch auf ein nicht veröffentlichtes Paper \cite{Dij62} und ein Beitrag in einem
Sammelband \cite{Dij68} verwiesen.

Amir Pnueli war ein israelischer Informatiker, der wegweisende
Verdienste um die Einführung der temporalen Logik \cite{Pnu77} in die Informatik
geleistet hat.

Der IBM 701 war der erste für wissenschaftliche Zwecke bestimmte Rechner
von IBM. Sein Speedcoding System wird von John Backus im Journal-Artikel \cite{Bac54}
beschrieben. The C Programming Language \cite{Kr78} ist das erste Buch über die
Programmiersprache C.

相关内容