International Symposium on Logical Foundations of Computer Science, Meyer, Albert R., Taitslin, M. A. (Michael A.)
Springer-Verlag
|
Hockney, D. J., Harper, William L. (William Leonard), 1943-, Freed, John B.
D. Reidel
|
International Scientific Symposium, Studer, Rudi, 1951-
Springer-Verlag
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, 1948-, Richter, Michael M., 1938-
Springer-Verlag
|
Masuch, Michael., Polos, Laszlo., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938-
Springer-Verlag
|
Masuch, Michael, Pólos, László, SpringerLink (Online service)
Springer-Verlag
|
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …
North-Holland
|
Logic Colloquium, Csirmaz, László, Gabbay, Dov M., 1945-, Rijke, Maarten de, Association for Symbolic Logic
CSLI Publications
|
Lycan, William G., 1945-
MIT Press
|
Fuhrmann, André, 1958-, Morreau, Michael
Springer-Verlag
|
NATO Advanced Study Institute on Logic of Computation, Schwichtenberg, Helmut, 1942-
Springer
|