-
1Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings /by Lloyd, John. editor., Dahl, Veronica. editor., Furbach, Ulrich. editor., Kerber, Manfred. editor., Lau, Kung-Kiu. editor., Palamidessi, Catuscia. editor., Pereira, Luís Moniz. editor., Sagiv, Yehoshua. editor., Stuckey, Peter J. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS -
2Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings / Computational Logic — CL 2000 [electronic resource] : First International Conference London, UK, July 24–28, 2000 Proceedings /by Lloyd, John. editor., Dahl, Veronica. editor., Furbach, Ulrich. editor., Kerber, Manfred. editor., Lau, Kung-Kiu. editor., Palamidessi, Catuscia. editor., Pereira, Luís Moniz. editor., Sagiv, Yehoshua. editor., Stuckey, Peter J. editor., SpringerLink (Online service)
Published 2000Texto bibliotecaCOLPOS