Cainéil - Artificial Intelligence, Automated Reasoning, and Symbolic Computation : :: Biblioteca ITESO

Míreanna comhchosúla: Artificial Intelligence, Automated Reasoning, and Symbolic Computation :

Spléachadh Tapa
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Spléachadh Tapa
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
Spléachadh Tapa
Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
Spléachadh Tapa
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 Proceedings /
Spléachadh Tapa
Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22.24, 2004 Proceedings /
Spléachadh Tapa
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Spléachadh Tapa
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
Spléachadh Tapa
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Spléachadh Tapa
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /
Spléachadh Tapa
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Spléachadh Tapa
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings /
Spléachadh Tapa
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Spléachadh Tapa
Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /
Spléachadh Tapa
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 19-22, 2014 : Proceedings /
Spléachadh Tapa
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune /
Spléachadh Tapa
AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings /
Spléachadh Tapa
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings /
Spléachadh Tapa
The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation /
Spléachadh Tapa
Music and Artificial Intelligence : Second International Conference, ICMAI 2002, Edinburgh, Scotland, UK, September 12-14, 2002, Proceedings /
Spléachadh Tapa
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Spléachadh Tapa
Topics in Artificial Intelligence : 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002. Proceedings /
Spléachadh Tapa
Advances in Artificial Intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings /
Spléachadh Tapa
KI 2002: Advances in Artificial Intelligence : 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002. Proceedings /
Spléachadh Tapa
Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings /

Údar: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge

Spléachadh Tapa
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0