Releases von William Mccune

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for William Mccune · Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Taschenbuch) (1997)

Automated Deduction - Cade-14: 1... (1997)

Cover for William Mccune · Automated Deduction in Equational Logic and Cubic Curves - Lecture Notes in Computer Science (Taschenbuch) (1996)

Automated Deduction in Equationa... (1996)