-
1
-
2
-
3Texto bibliotecaUAAAN MX
-
4Texto bibliotecaUAAAN MX
-
5Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings /Texto bibliotecaCOLPOS
-
6Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings / Theoretical Aspects of Computer Software [electronic resource] : International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings /Texto bibliotecaCOLPOS
-
7Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings / Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings /by Meyer, Albert R. editor., Taitslin, Michael A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS -
8Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings / Logic at Botik '89 [electronic resource] : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings /by Meyer, Albert R. editor., Taitslin, Michael A. editor., SpringerLink (Online service)
Published 1989Texto bibliotecaCOLPOS