-
1Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings / Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /Texto bibliotecaCOLPOS
-
2Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings / Practical Aspects of Declarative Languages [electronic resource] : 5th International Symposium, PADL 2003 New Orleans, LA, USA, January 13–14, 2003 Proceedings /Texto bibliotecaCOLPOS
-
3Computational 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 -
4Computational 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