Automated reasoning: proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P. R. China, 13 - 16 July 1992
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Amsterdam u.a. North-Holland 1992
Schriftenreihe:International Federation for Information Processing: [IFIP transactions / A] 19
Schlagworte:
Online-Zugang:Inhaltsverzeichnis
Beschreibung:XI, 341 S. graph. Darst.
ISBN:044489876X

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis