UID:
kobvindex_ZLB15053392
Umfang:
XIX, 491 Seiten
,
graph. Darst.
,
24 cm
ISBN:
9783642026133
Serie:
Lecture notes in computer science
Anmerkung:
Literaturangaben
,
Text engl.
Sprache:
Englisch
Schlagwort(e):
Künstliche Intelligenz
;
Computeralgebra
;
Kongress
;
Grand Bend 〈Ontario, 2009〉
;
Automatisches Beweisverfahren
;
Kongress
;
Grand Bend 〈Ontario, 2009〉
;
Computeralgebra
;
Kongress
;
Grand Bend 〈Ontario, 2009〉
;
Mathematik
;
Wissensmanagement
;
Kongress
;
Grand Bend 〈Ontario, 2009〉
;
Kongress
;
Konferenzschrift
URL:
http://d-nb.info/99447945X/04