Format:
1 Online-Ressource (XXV, 2122 S.)
ISBN:
9780080532790
Note:
Online-Ressource eines mehrbändigen begrenzenten Werkes
Additional Edition:
Erscheint auch als Druckausgabe ISBN 0-444-50812-0
Additional Edition:
Erscheint auch als Druckausgabe ISBN 0-444-50813-9
Additional Edition:
Erscheint auch als Druckausgabe ISBN 0-444-82949-0
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Automatisches Beweisverfahren
URL:
Volltext
(URL des Erstveröffentlichers)
Author information:
Voronkov, Andrei 1959-
Bookmarklink