Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Skordev, Dimitŭr …
Plenum Press
|
Logic Colloquium, Gandy, R. O., Hyland, John Martin Elliott
North-Holland Pub. Co., Sole distributors for U.S.A. and Canada, Elsevier North-Holland
|
Gödel, R. (Rudolf), Weingartner, Paul, Schmetterer, Leopold, 1919-, 前原, 昭二(1927-1992), 本橋, 信義(1943-)
遊星社, 星雲社 (発売)
|
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Clarke, Michael, 1940-, Kruse, …
Springer-Verlag
|
International Symposium on Logical Foundations of Computer Science, Adi︠a︡n, S. I., Nerode, Anil, 1932-
Springer-Verlag
|
International Conference on Automated Deduction, Stickel, Mark E., 1947-
Springer-Verlag
|
International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)
Springer-Verlag
|
International Symposium on Logical Foundations of Computer Science, Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), …
Springer-Verlag
|
Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-
Springer
|
Schmetterer, Leopold, 1919-, Wickwire, Kenneth
Springer-Verlag
|
International Conference on Automated Deduction, Bundy, Alan
Springer-Verlag
|
DMTCS, Calude, Cristian, 1952-, Dinneen, M. J., 1957-, Vajnovszki, Vincent
Springer
|