ENGLISH

Mathematical Foundations of Computer Science 1980: Proceedings of the 9th Symposium Held in Rydzyna, Poland, September 1–5, 1980

By Dines Bjørner (auth.) , P. Dembiński (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1980
ISBN
354010027X, 9783540100270
DOI
10.1007/BFb0022491
Open Library ID
OL12771386M
Language
english
Format
DJVU
Filesize
6 MB (6729890 bytes)
Series
Lecture Notes in Computer Science 88
Edition
1
Pages
726\731
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Mathematical Logic and Formal Languages

Similar books