Umfang:
XIX, 491 S. :
,
Ill., graph. Darst. ;
,
235 mm x 155 mm.
ISBN:
978-3-642-02613-3
,
3-642-02613-3
Serie:
Lecture Notes in Computer Science 5625 : Lecture Notes in Artificial Intelligence
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Mathematik
;
Wissensmanagement
;
Künstliche Intelligenz
;
Computeralgebra
;
Automatisches Beweisverfahren
;
Computeralgebra
;
Mathematik
;
Wissensmanagement
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691798&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA