- LNCS1479
- -J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer-Verlag 1998
Acronyms. 2013.
LNCS1479
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1479 — J. Grundy/M. Newey (Eds.): Theorem Proving in Higher Order Logics. Proceedings, Springer Verlag 1998 … Acronyms von A bis Z
