Umfang:
Online-Ressource (XIII, 312 S.)
Ausgabe:
Online-Ausg. 2011 Springer eBook collection. Computer science
ISBN:
9783642226731
Serie:
Lecture notes in computer science 6824
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3642226728
Weitere Ausg.:
ISBN 9783642226724
Weitere Ausg.:
Druckausg. Intelligent computer mathematics Berlin : Springer, 2011 ISBN 3642226728
Weitere Ausg.:
ISBN 9783642226724
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Künstliche Intelligenz
;
Computeralgebra
;
Automatisches Beweisverfahren
;
Mathematik
;
Wissensmanagement
;
Konferenzschrift
DOI:
10.1007/978-3-642-22673-1
URL:
Volltext
(lizenzpflichtig)
Bookmarklink