Umfang:
1 Online-Ressource (XX, 257 S.)
ISBN:
9783642366741
,
9783642366758
Serie:
Lecture notes in computer science 7788 : Lecture notes in artificial intelligence : Festschrift
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Automatisches Beweisverfahren
;
Mathematik
;
Aufsatzsammlung
;
Festschrift
DOI:
10.1007/978-3-642-36675-8
Mehr zum Autor:
Bonacina, Maria Paola
Mehr zum Autor:
McCune, William 1953-2011