Log in

Relevant bibliographies by topics / Automated theorem proving / Books

To see the other types of publications on this topic, follow the link: Automated theorem proving.

Books on the topic 'Automated theorem proving'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Automated theorem 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.

1

Bibel, Wolfgang. Automated Theorem Proving. Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-90102-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Newborn, Monty. Automated Theorem Proving. Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0089-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bibel, W. Automated theorem proving. 2nd ed. F. Vieweg, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Johnson, Christopher Andrew. Topics in automated theorem proving. typescript, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Schumann, Johann M. Automated Theorem Proving in Software Engineering. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-22646-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Fitting, Melvin. First-order logic and automated theorem proving. 2nd ed. Springer, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer US, 1990. http://dx.doi.org/10.1007/978-1-4684-0357-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer New York, 1996. http://dx.doi.org/10.1007/978-1-4612-2360-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Fitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer New York, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Thistlewaite, Paul B. Automated theorem-proving in non-classical logics. Pitman, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Fitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

United States. National Aeronautics and Space Administration., ed. Generating test templates via automated theorem proving. National Aeronautics and Space Administration, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Goubault-Larrecq, Jean. Proof theory and automated deduction. Kluwer Academic, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Parkinson, Brian. Automated theorem proving in the ProTem programming language. University of Toronto, Dept. of Computer Science, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

Parkinson, Brian. Automated theorem proving in the ProTem programming language. National Library of Canada = Bibliothèque nationale du Canada, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Birtwistle, Graham, and P. A. Subrahmanyam, eds. Current Trends in Hardware Verification and Automated Theorem Proving. Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4612-3658-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

M, Birtwistle G., and Subrahmanyam P. A, eds. Current trends in hardware verification and automated theorem proving. Springer-Verlag, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Birtwistle, G. M. Current Trends in Hardware Verification and Automated Theorem Proving. Springer New York, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Quaife, Art. Automated development of fundamental mathematical theories. Kluwer Academic, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

G, Williams James. Instantiation theory: On the foundations of automated deduction. Springer-Verlag, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

W, Bledsoe W., and Boyer Robert S, eds. Automated reasoning: Essays in honor of Woody Bledsoe. Kluwer Academic Publishers, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Kalman, John Arnold. Automated reasoning with Otter. Rinton Press, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Winkler, Franz. Automated Deduction in Geometry. Springer, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

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. North-Holland, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

ATVA 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 text

APA, Harvard, Vancouver, ISO, and other styles

27

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. Springer, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

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. Springer, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

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. Springer, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Hähnle, Reiner. Automated deduction in multiple-valued logics. Clarendon Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

Xiao-shan, Gao, and Chang Ching-chung 1936-, eds. Machine proofs in geometry: Automated production of readable proofs for geometry theorems. World Scientific, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Bibel, W. Automated theorem proving. 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Principles of automated theorem proving. Wiley, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

Newborn, Monty. Automated Theorem Proving: Theory and Practice. Springer, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

Newborn, Monty. Automated Theorem Proving: Theory and Practice. Springer London, Limited, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Newborn, Monty. Automated Theorem Proving: Theory and Practice. Springer, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

Schumann, Johann M., and D. Loveland. Automated Theorem Proving in Software Engineering. Springer London, Limited, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

Loveland, D. W. Automated Theorem Proving: A Logical Basis. Elsevier Science & Technology Books, 2016.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Schumann, Johann M., and D. Loveland. Automated Theorem Proving in Software Engineering. Springer Berlin / Heidelberg, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

(Foreword), D. Loveland, ed. Automated Theorem Proving in Software Engineering. Springer, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Automated theorem proving: Theory and practice. Springer, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

Thisthlewaite, P. B.; Meyer, R. K. Automated Theorem-Proving in Non-Classical Logics. Pitman, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

Morgan, C. Automated Theorem Proving in Non-Classical Logics. Springer-Verlag, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Island Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

Stephenboyer, Robert. Automated Reasoning. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

Zhang, Hantao. Automated Mathematical Induction. Springer, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

Moura, Leonardo de. Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Springer, 2017.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

Goubault-Larrecq, J., and I. Mackie. Proof Theory and Automated Deduction (Applied Logic Series). Springer, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!