Format:
X, 320 S. :
,
graph. Darst.
ISBN:
978-3-540-29051-3
,
3-540-29051-6
Series Statement:
Lecture notes in computer science 3717 : Lecture notes in artificial intelligence
Note:
Literaturangaben
Language:
English
Subjects:
Computer Science
Keywords:
Automatisches Beweisverfahren
;
Constraint
;
Deduktionssystem
;
Computeralgebra
;
Entscheidungsproblem
;
Mathematische Logik
;
Lineare Optimierung
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014162803&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA