Format:
XVI, 304 S.
,
graph. Darst.
ISBN:
9783642093449
,
9783540741046
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://digitale-objekte.hbz-nrw.de/webclient/DeliveryManager?pid=2843535&custom_att_2=simple_viewer
Author information:
Kroening, Daniel
Bookmarklink