Format:
Online-Ressource
ISBN:
9783540494041
Series Statement:
Lecture Notes in Computer Science 933
Additional Edition:
ISBN 9783540600176
Additional Edition:
Buchausg. u.d.T. Computer science logic Berlin : Springer, 1995 ISBN 3540600175
Additional Edition:
ISBN 0387600175
Language:
English
Subjects:
Computer Science
Keywords:
Informatik
;
Logik
;
Konferenzschrift