Books on the topic 'Automatic reasoning'

Analogy of automated reasoning. Boston: Academic Press, 1990.

Kalman, John Arnold. Automated reasoning with Otter. Princeton, N.J: Rinton Press, 2001.

Automated reasoning: 33 basic research problems. Englewood Cliffs, N.J: Prentice-Hall, 1988.

Handbook of practical logic and automated reasoning. Cambridge: Cambridge University Press, 2009.

IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning (1992 Beijing, China). Automated reasoning: Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Amsterdam: North-Holland, 1992.

Schaub, Torsten. The automation of reasoning with incomplete information: From semantic foundations to efficient computation. Berlin: Springer, 1997.

The automation of reasoning with incomplete information: From semantic foundations to efficient computation. Berlin: Springer, 1997.

1945-, Gabbay Dov M., and Ohlbach Hans Jürgen, eds. Practical reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings. Berlin: Springer, 1996.

1956-, Kerber Manfred, and Kohlhase Michael 1964-, eds. Symbolic computation and automated reasoning: The CALCULEMUS-2000 Symposium. Natick, Mass: A K Peters, 2001.

Zhongzhi, Shi, ed. Automated reasoning: Proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992. Amsterdam: North-Holland, 1992.

Mir, Salvador. Heuristic reasoning for an automatic commonsense understanding of logic electronic design specifications. Manchester: University of Manchester, 1993.

International Conference on Formal and Applied Practical Reasoning (1996 Bonn, Germany). Practical reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings. Berlin: Springer, 1996.

Bühler, Dirk. Domain-level reasoning for spoken dialogue systems. New York: Springer, 2011.

Davies, Todd R. Determination, uniformity, and relevance: Normative criteria for generalization and reasoning by analogy. Menlo Park, CA: Center for the Study of Language and Information, 1988.

Mathematical reasoning with diagrams: From intuition to automation. Stanford, Calif: CSLI, 2001.

Ligęza, Antoni. Logical foundations for knowledge-based control systems: Knowledge representation, reasoning, and theoretical properties. Kraków: Akademia Górniczo-Hutnicza im. Stanisława Staszica, 1993.

Wos, Larry. The automation of reasoning: An experimenter's notebook with OTTER tutorial. San Diego: Academic Press, 1996.

Bernhard, Beckert, ed. Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings. Berlin: Springer, 2005.

1956-, Cialdea Mayer Marta, and Pirri Fiora Dr, eds. Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings. New York: Springer, 2003.

TABLEAUX 2011 (2011 Bern, Switzerland). Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings. Berlin: Springer, 2011.

TABLEAUX '99 (1999 Saratoga Springs, N.Y.). Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX '99, Saratoga Springs, NY, June 7-11, 1999 : proceedings. Berlin: Springer, 1999.

1948-, Dyckhoff Roy, ed. Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings. New York: Springer, 2000.

TABLEAUX, 2007 (2007 Aix en Provence France). Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings. Berlin: Springer, 2007.

Frank, Pfenning, ed. Logic programming and automated reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings. Berlin: Springer-Verlag, 1994.

LPAR '92 (1992 Saint Petersburg, Russia). Logic programming and automated reasoning: International conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings. Berlin: Springer-Verlag, 1992.

1959-, Voronkov A., ed. Logic programming and automated reasoning: 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings. Berlin: Springer-Verlag, 1993.

1956-, Parigot Michel, and Voronkov A. 1959-, eds. Logic for programming and automated reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings. Berlin: Springer, 2000.

IJCAR 2004 (2004 Cork, Ireland). Automated reasoning: Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings. Berlin: Springer, 2004.

TABLEAUX'98, (1998 Oisterwijk Netherlands). Automated reasoning with analytic tableaux and related methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings. Berlin: Springer, 1998.

Robert, Nieuwenhuis, and Voronkov A. 1959-, eds. Logic for programming, artificial intelligence, and reasoning: 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings. Berlin: Springer, 2001.

Nachum, Dershowitz, and Voronkov A. 1959-, eds. Logic for programming, artificial intelligence, and reasoning: 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings. Berlin: Springer, 2007.

Franz, Baader, and Voronkov A. 1959-, eds. Logic for programming, artificial intelligence, and reasoning: 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings. Berlin: Springer, 2005.

W, Pieper Gail, ed. A fascinating country in the world of computing: Your guide to automated reasoning. Singapore: World Scientific, 1999.

Geoff, Sutcliffe, Voronkov A. 1959-, and LINK (Online service), eds. Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings. Berlin: Springer, 2005.

IJCAR 2010 (2010 Edinburgh, Scotland). Automated reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings. Berlin: Springer, 2010.

TABLEAUX '97 (1997 Pont-à-Mousson, France). Automated reasoning with analytic tableaux and related methods: International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings. Berlin: Springer, 1997.

Goré, Rajeev, Alexander Leitsch, and Tobias Nipkow, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5.

Boyer, Robert S., ed. Automated Reasoning. Dordrecht: Springer Netherlands, 1991. http://dx.doi.org/10.1007/978-94-011-3488-0.

Gramlich, Bernhard, Dale Miller, and Uli Sattler, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31365-3.

Peltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51054-1.

Peltier, Nicolas, and Viorica Sofronie-Stokkermans, eds. Automated Reasoning. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9.

Olivetti, Nicola, and Ashish Tiwari, eds. Automated Reasoning. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40229-1.

Furbach, Ulrich, and Natarajan Shankar, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814771.

Demri, Stéphane, Deepak Kapur, and Christoph Weidenbach, eds. Automated Reasoning. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08587-6.

Basin, David, and Michaël Rusinowitch, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b98691.

Giesl, Jürgen, and Reiner Hähnle, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1.

Armando, Alessandro, Peter Baumgartner, and Gilles Dowek, eds. Automated Reasoning. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-71070-7.

Galmiche, Didier, Stephan Schulz, and Roberto Sebastiani, eds. Automated Reasoning. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6.

Theory Reasoning in Connection Calculi. Springer, 1998.

Deepak, Kapur, Mundy Joseph L, and International Workshop on Geometric Reasoning (1986 : Oxford University), eds. Geometric reasoning. Cambridge, Mass: MIT Press, 1989.