Books on the topic 'Automatic proving'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Automatic proving.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Schaub, Torsten. The automation of reasoning with incomplete information: From semantic foundations to efficient computation. Springer, 1997.
Find full textPlaisted, David A. The efficiency of theorem proving strategies: A comparative and asymptotic analysis. Vieweg, 1997.
Find full textThe automation of reasoning with incomplete information: From semantic foundations to efficient computation. Springer, 1997.
Find full textVeanes, Margus. On simultaneous rigid E-unification. Uppsala University, Computing Science Dept., 1997.
Find full textG, Williams James. Instantiation theory: On the foundations of automated deduction. Springer-Verlag, 1991.
Find full textNeĭman, V. S. Sistema PROVE--realizat͡s︡ii͡a︡ metoda vydelenii͡a︡ podt͡s︡eleĭ. In-t teoret. astronomii Akademii nauk SSSR, 1986.
Find full textTableau, Tableauresolution, und Tableaugraphresolution: Ein neuer Weg zur automatischen Deduktion. P. Lang, 1991.
Find full textInternational, Workshop on Larch (1st 1992 Dedham Mass ). Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992. Springer-Verlag, 1993.
Find full textGallier, Jean H. Logic for computer science: Foundations of automatic theorem proving. Wiley, 1987.
Find full textLogic for computer science: Foundations of automatic theorem proving. Harper & Row, 1986.
Find full textGallier, Jean H. Logic for computer science: Foundations of automatic theorem proving. Harper & Row, 1986.
Find full textFarreny, Henri. AI and expertise: Heuristic search, inference engines, automatic proving. E. Horwood, 1989.
Find full text1948-, Dyckhoff Roy, ed. Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings. Springer, 2000.
Find full textS, Namjoshi Kedar, ed. Automated technology for verification and analysis: 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings. Springer, 2007.
Find full text1956-, Carreño Victor A., Muñoz César A. 1968-, and Tahar Sofiène 1966-, eds. Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Springer, 2002.
Find full textDavid, Basin, and Wolff Burkhart 1962-, eds. Theorem proving in higher order logics: 16 international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. Springer, 2003.
Find full textTPHOLs 2002 (2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Springer, 2002.
Find full textTABLEAUX 2011 (2011 Bern, Switzerland). Automated reasoning with analytic tableaux and related methods: 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings. Springer, 2011.
Find full textStefano, Berardi, and Coppo Mario 1947-, eds. Types for proofs and programs: International workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers. Springer, 1996.
Find full textTPHOLs 2000 (2000 Portland, Or.). Theorem proving in higher order logics: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings. Springer, 2000.
Find full textTABLEAUX, 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. Springer, 2007.
Find full textTABLEAUX '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. Springer, 1999.
Find full textTPHOLs '96 (1996 Turku, Finland). Theorem proving in higher order logics: 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Springer, 1996.
Find full textTPHOLs 2002 (15th 2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Springer, 2002.
Find full textBernhard, Beckert, ed. Automated reasoning with analytic tableaux and related methods: International conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings. Springer, 2005.
Find full textInternational Workshop TYPES '94 (1994 Båstad, Sweden). Types for proofs and programs: International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers. Springer, 1995.
Find full textATVA 2011 (2011 Taipei, Taiwan). Automated technology for verification and analysis: 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings. Springer, 2011.
Find full text1956-, 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. Springer, 2003.
Find full textGoubault-Larrecq, Jean. Proof theory and automated deduction. Kluwer Academic, 1997.
Find full textFitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.
Find full textFitting, Melvin. First-order logic and automated theorem proving. 2nd ed. Springer, 1996.
Find full textFitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.
Find full textQuaife, Art. Automated development of fundamental mathematical theories. Kluwer Academic, 1992.
Find full text1939-, Lee Richard Char-Tung, ed. Symbolic logic and mechanical theorem proving. Academic Press, 1987.
Find full textThistlewaite, Paul B. Automated theorem-proving in non-classical logics. Pitman, 1988.
Find full textFronhöfer, B. The action-as-implication paradigm: Formal systems and application. CS Press, 1996.
Find full text