Logic at Botik '89 - proceedings

Författare
Symposium on Logical Foundations of Computer Science 1989) (Pereslavl-Zalessky :
(Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 A.R. Meyer, M.A. Taitslin, (eds.).)
Genre
Konferenspublikation
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer-Vlg cop. 1989 Tyskland, Berlin, New York x, 289 sidor. ill.