Format:
1 Online-Ressource
ISBN:
9783540613985
,
3540613986
Series Statement:
Lecture notes in computer science 1095 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Deduktion
;
Mathematische Logik
;
Algebraische Kurve
;
Gleichungstheorie
;
Automatisches Beweisverfahren
;
Algebraische Kurve
;
Automatisches Beweisverfahren
DOI:
10.1007/3-540-61398-6
Author information:
McCune, William 1953-2011
Author information:
Padmanabhan, Ranganathan 1938-