- LNCS1409
- -T. Schaub: The Automation of Reasoning with Incomplete Information, Springer-Verlag 1998 (Subseries LNAI)
Acronyms. 2013.
Acronyms. 2013.
LNCS1409 — T. Schaub: The Automation of Reasoning with Incomplete Information, Springer Verlag 1998 (Subseries LNAI) … Acronyms von A bis Z