Acronyms von A bis Z
LNCS624
-A. Voronkov (Ed.): Logic Programming and Automated Reasoning, Proceedings 1992, Subseries LNAI, Springer-Verlag 1992
-A. Voronkov (Ed.): Logic Programming and Automated Reasoning, Proceedings 1992, Subseries LNAI, Springer-Verlag 1992