Format:
IX, 541 S.
,
graph. Darst.
ISBN:
3540600175
,
0387600175
Series Statement:
Lecture notes in computer science 933
Note:
Includes bibliographical references (p. 541) and index
Additional Edition:
Online-Ausg. Computer science logic Berlin [u.a.] : Springer, 1995 ISBN 9783540494041
Additional Edition:
Erscheint auch als Online-Ausgabe Pacholski, Leszek Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 1995 ISBN 9783540494041
Language:
English
Subjects:
Computer Science
Keywords:
Informatik
;
Logik
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/95023973-d.html