Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings / by Albert R. Meyer, Michael A. Taitslin
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 363Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989Description: Online-RessourceISBN:- 9783540461807
No physical items for this record