Format:
Online-Ressource (XIII, 312 S.)
Edition:
Online-Ausg. 2011 Springer eBook collection. Computer science
ISBN:
9783642226731
Series Statement:
Lecture notes in computer science 6824
Note:
Literaturangaben
Additional Edition:
ISBN 3642226728
Additional Edition:
ISBN 9783642226724
Additional Edition:
Erscheint auch als Druck-Ausgabe Intelligent computer mathematics Berlin : Springer, 2011 ISBN 3642226728
Additional Edition:
ISBN 9783642226724
Language:
English
Subjects:
Computer Science
Keywords:
Künstliche Intelligenz
;
Computeralgebra
;
Automatisches Beweisverfahren
;
Mathematik
;
Wissensmanagement
;
Konferenzschrift
DOI:
10.1007/978-3-642-22673-1
URL:
Volltext
(lizenzpflichtig)