Logical foundations of computer science - Tver'92 : proceedings / Second International Symposium...; ed. Anil Nerode, Mikhail Taitslin
Corporate Author (Main)
International Symposium [on] Logical Foundations of Computer Science, 2, Tver, 1992
Secondary Author
Nerode, Anil
Taitslin, Mikhail
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1992
Description
IX, 514 p. ;
24 cm
Series
Lecture notes in computer science , 620
ISBN
3-540-55707-5
CDU
519.68
There are no comments for this item.