Format:
1 Online-Ressource (XX, 257 S.)
ISBN:
9783642366741
,
9783642366758
Series Statement:
Lecture notes in computer science 7788 : Lecture notes in artificial intelligence : Festschrift
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Mathematik
;
Aufsatzsammlung
;
Festschrift
DOI:
10.1007/978-3-642-36675-8
Author information:
Bonacina, Maria Paola
Author information:
McCune, William 1953-2011