Books listed by ISBN
>
Springer
> Germany) Workshop on Computer Science Logic 1990 (Heidelberg
Germany) Workshop on Computer Science Logic 1990 (Heidelberg
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Computer Science Logic: 4th Workshop, Csl '90 Heidelberg, Germany, October 1-5, 1990: Proceedings
978-O-387-54487-8
(O-387-54487-9)
1991
Egon Borger
G. C.
·
G.O.
·
G.W.
·
**O.C.**
·
W.C.
Germar Wambach