Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Peresl
68,59 €
Logic at Botik '89. Short Title LOGIC AT BOTIK 89 1989/E. Subtitle Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. - Building theories in Nuprl.
Jetzt bei Ebay: