- LNCS780
- -J. J. Joyce/C.-J. H. Seger (Eds.): Higher Order Logic Theorem Proving and Its Applications, Proceedings 1993, Springer-Verlag 1994
Acronyms. 2013.
LNCS780
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS780 — J. J. Joyce/C. J. H. Seger (Eds.): Higher Order Logic Theorem Proving and Its Applications, Proceedings 1993, Springer Verlag 1994 … Acronyms von A bis Z
