Relevant bibliographies by topics / Theorem proving / Books

Books on the topic 'Theorem proving'

To see the other types of publications on this topic, follow the link: Theorem proving.
Author: Grafiati
Published: 4 June 2021
Last updated: 8 June 2024

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 '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

Beringer, Lennart, and Amy Felty, eds. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32347-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ayala-Rincón, Mauricio, and César A. Muñoz, eds. Interactive Theorem Proving. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66107-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Klein, Gerwin, and Ruben Gamboa, eds. Interactive Theorem Proving. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08970-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Blazy, Sandrine, Christine Paulin-Mohring, and David Pichardie, eds. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kaufmann, Matt, and Lawrence C. Paulson, eds. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

van Eekelen, Marko, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, eds. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22863-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Urban, Christian, and Xingyuan Zhang, eds. Interactive Theorem Proving. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22102-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Avigad, Jeremy, and Assia Mahboubi, eds. Interactive Theorem Proving. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94821-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

Blanchette, Jasmin Christian, and Stephan Merz, eds. Interactive Theorem Proving. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-43144-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Chou, Shang-Ching. Mechanical Geometry Theorem Proving. Dordrecht: Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-4037-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
14

Shang-Ching, Chou. Mechanical geometry theorem proving. Dordrecht: D. Reidel Pub. Co., 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Smith, A. Which theorem prover?: A survey of four theorem provers. London: HMSO, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Wu, Wen-tsün. Mechanical Theorem Proving in Geometries. Vienna: Springer Vienna, 1994. http://dx.doi.org/10.1007/978-3-7091-6639-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Johnson, Christopher Andrew. Topics in automated theorem proving. [s.l.]: typescript, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Reeves, Stephen Victor. Theorem-proving by semantic tableaux. Birmingham: University of Birmingham, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Principles of automated theorem proving. Chichester: Wiley, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

1939-, Lee Richard Char-Tung, ed. Symbolic logic and mechanical theorem proving. San Diego: Academic Press, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Bertot, Yves, Gilles Dowek, Laurent Théry, André Hirschowitz, and Christine Paulin, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48256-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Schneider, Klaus, and Jens Brandt, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74591-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Plaisted, David A., and Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-07847-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Plaisted, David A., and Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Wiesbaden: Vieweg+Teubner Verlag, 1997. http://dx.doi.org/10.1007/978-3-322-93862-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Berghofer, Stefan, Tobias Nipkow, Christian Urban, and Makarius Wenzel, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03359-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Aagaard, Mark, and John Harrison, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44659-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
27

Boulton, Richard J., and Paul B. Jackson, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44755-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Hurd, Joe, and Tom Melham, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.

Full text
APA, Harvard, Vancouver, ISO, and other styles
29

Gunter, Elsa L., and Amy Felty, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0028381.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Goos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, and John Harrison, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0105392.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Grundy, Jim, and Malcolm Newey, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055125.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Bertot, Yves, and Pierre Castéran. Interactive Theorem Proving and Program Development. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07964-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
33

Carreño, Victor A., César A. Muñoz, and Sofiène Tahar, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45685-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
34

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Harrison, John. Theorem Proving with the Real Numbers. London: Springer London, 1998. http://dx.doi.org/10.1007/978-1-4471-1591-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Slind, Konrad, Annette Bunker, and Ganesh Gopalakrishnan, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b100400.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Basin, David, and Burkhart Wolff, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11935.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Mohamed, Otmane Ait, César Muñoz, and Sofiène Tahar, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-71067-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

J, Harrison. Theorem proving with the real numbers. London: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

Wen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Wien: Springer-Verlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

Paulson, Lawrence C. Isabelle: A generic theorem prover. Berlin: Springer-Verlag, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Theorem proving' for other source types:
Journal articles Dissertations / Theses
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!

To the bibliography