- LNCS1095
- -W. McCune/R. Padmanabhan: Automated Deduction in Equational Logic and Cubic Curves, Springer-Verlag 1996 (Subseries LNAI)
Acronyms. 2013.
LNCS1095
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS1095 — W. McCune/R. Padmanabhan: Automated Deduction in Equational Logic and Cubic Curves, Springer Verlag 1996 (Subseries LNAI) … Acronyms von A bis Z
