|
Bauer, Friedrich Ludwig, 1924-, Broy, M., 1949-, North Atlantic Treaty Organization. Scientific Affairs Division
Springer-Verlag
|
American Geophysical Union, Geological Society of America
|
Bauer, Friedrich L., Broy, Manfred, Dijkstra, E. W., Gerhart, S. L., Gries, D., Griffiths, M., Guttag, J. V., Horning, …
Springer-Verlag
|
Ershov, Andrei, Nepomniaschy, Valery A., SpringerLink (Online service)
Springer-Verlag
|
Bauer, F.L., Dijkstra, E.W., Gerhart, S.L., Gries, D., Griffiths, M., Guttag, J. V., Horning, J. J., Owicki, S. S., …
Springer Berlin Heidelberg : Imprint: Springer
|
Ershov, A., Nepomniaschy, V.A., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Jaffar, Joxan, Joint International Conference and Symposium on Logic Programming
MIT Press
|
|
International Conference on Logic Programming, Naish, Lee, 1960-
MIT Press
|
|
Maher, Michael, 1959-
MIT Press
|