Format:
1 Online-Ressource (XIII, 406 S.)
,
Ill., graph. Darst.
ISBN:
3540730834
,
9783540730835
,
9783540730866
Series Statement:
Lecture Notes in Computer Science 4573 : Lecture notes in artificial intelligence
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Computeralgebra
;
Hagenberg 〈Mühlkreis,2007〉
;
Mathematik
;
Wissensmanagement
;
Konferenzschrift
;
Hagenberg 〈Mühlkreis,2007〉
;
Konferenzschrift
DOI:
10.1007/978-3-540-73086-6
URL:
Volltext
(lizenzpflichtig)