Format:
XIII, 331 S. :
,
graph. Darst.
ISBN:
0-12-170350-9
Series Statement:
Computer science and applied mathematics
Language:
English
Subjects:
Comparative Studies. Non-European Languages/Literatures
,
Mathematics
Keywords:
Mathematische Logik
;
Beweistheorie
;
Optimierung
;
Nichtnumerisches Verfahren
;
Nichtnumerische Datenverarbeitung
;
LISP
;
Logik
;
Automatisches Beweisverfahren
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001269027&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
