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