Automated deduction CADE 12

Bibliographische Detailangaben
1. Verfasser: Alan Bundy
Format: Printed Book
Sprache:English
Veröffentlicht: Springer-Verlag 1994
Beschreibung
Beschreibung:848
ISBN:3-540-58156-1

Ähnliche Einträge