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