Format:
VIII, 471 S.
,
graph. Darst.
ISBN:
3540631720
Series Statement:
Lecture notes in computer science 1258
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Dalen, Dirk van, 1932 - Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1997 ISBN 9783540631729
Language:
English
Subjects:
Computer Science
Keywords:
Informatik
;
Logik
;
Informatik
;
Logik
;
Aufsatzsammlung
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/97023265-d.html
Author information:
Dalen, Dirk van 1932-
Bookmarklink