Canais - Automated Reasoning and Mathematics : :: Biblioteca ITESO

Registros relacionados: Automated Reasoning and Mathematics :

Visualização Rápida
Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings /
Visualização Rápida
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
Visualização Rápida
Automated Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings /
Visualização Rápida
Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Visualização Rápida
Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings /
Visualização Rápida
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Visualização Rápida
Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /
Visualização Rápida
The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation /
Visualização Rápida
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Visualização Rápida
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 /
Visualização Rápida
Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
Visualização Rápida
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings /
Visualização Rápida
Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /
Visualização Rápida
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Visualização Rápida
Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth /

Autor: Maria Paola Bonacina, Mark E. Stickel

Visualização Rápida
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune /

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