Format:
XVI, 304 S. :
,
graph. Darst.
ISBN:
978-3-642-09344-9
,
978-3-540-74104-6
Series Statement:
Texts in theoretical computer science
Note:
Auch als Internetausgabe
Additional Edition:
Erscheint auch als Online-Ausgabe ISBN 978-3-540-74105-3
Language:
English
Subjects:
Computer Science
Keywords:
Entscheidungsverfahren
;
Mathematische Logik
;
Algorithmus
;
Lehrbuch
URL:
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017091560&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
URL:
http://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2843535&custom_att_2=simple_viewer
Author information:
Kroening, Daniel.