Format:
Online-Ressource
ISBN:
9783540384014
Series Statement:
Lecture Notes in Computer Science 533
Additional Edition:
ISBN 9783540544876
Additional Edition:
Buchausg. u.d.T. Computer science logic Berlin : Springer, 1991 ISBN 3540544879
Additional Edition:
ISBN 0387544879
Language:
English
Keywords:
Informatik
;
Logik
;
Konferenzschrift
DOI:
10.1007/3-540-54487-9
Author information:
Kleine Büning, Hans 1948-
Author information:
Börger, Egon 1946-