-
1Domain Theory, Logic and Computation [electronic resource] : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 / Domain Theory, Logic and Computation [electronic resource] : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /by Zhang, G Q. editor., Lawson, J. editor., Liu, Y.-M. editor., Luo, M.-K. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS -
2Domain Theory, Logic and Computation [electronic resource] : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 / Domain Theory, Logic and Computation [electronic resource] : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 /by Zhang, G Q. editor., Lawson, J. editor., Liu, Y.-M. editor., Luo, M.-K. editor., SpringerLink (Online service)
Published 2003Texto bibliotecaCOLPOS