Książki na temat „Theorem proving”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Theorem proving”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Beringer, Lennart, and Amy Felty, eds. Interactive Theorem Proving. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32347-8.
Pełny tekst źródłaBibel, Wolfgang. Automated Theorem Proving. Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-90102-6.
Pełny tekst źródłaAyala-Rincón, Mauricio, and César A. Muñoz, eds. Interactive Theorem Proving. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66107-0.
Pełny tekst źródłaNewborn, Monty. Automated Theorem Proving. Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0089-2.
Pełny tekst źródłaKlein, Gerwin, and Ruben Gamboa, eds. Interactive Theorem Proving. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08970-6.
Pełny tekst źródłaBlazy, Sandrine, Christine Paulin-Mohring, and David Pichardie, eds. Interactive Theorem Proving. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2.
Pełny tekst źródłaKaufmann, Matt, and Lawrence C. Paulson, eds. Interactive Theorem Proving. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5.
Pełny tekst źródłavan Eekelen, Marko, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, eds. Interactive Theorem Proving. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22863-6.
Pełny tekst źródłaUrban, Christian, and Xingyuan Zhang, eds. Interactive Theorem Proving. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22102-1.
Pełny tekst źródłaAvigad, Jeremy, and Assia Mahboubi, eds. Interactive Theorem Proving. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94821-8.
Pełny tekst źródłaBlanchette, Jasmin Christian, and Stephan Merz, eds. Interactive Theorem Proving. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-43144-4.
Pełny tekst źródłaChou, Shang-Ching. Mechanical Geometry Theorem Proving. Springer Netherlands, 1987. http://dx.doi.org/10.1007/978-94-009-4037-6.
Pełny tekst źródłaShang-Ching, Chou. Mechanical geometry theorem proving. D. Reidel Pub. Co., 1988.
Znajdź pełny tekst źródłaSmith, A. Which theorem prover?: A survey of four theorem provers. HMSO, 1990.
Znajdź pełny tekst źródłaWu, Wen-tsün. Mechanical Theorem Proving in Geometries. Springer Vienna, 1994. http://dx.doi.org/10.1007/978-3-7091-6639-0.
Pełny tekst źródłaJohnson, Christopher Andrew. Topics in automated theorem proving. typescript, 1989.
Znajdź pełny tekst źródłaReeves, Stephen Victor. Theorem-proving by semantic tableaux. University of Birmingham, 1985.
Znajdź pełny tekst źródłaBertot, Yves, Gilles Dowek, Laurent Théry, André Hirschowitz, and Christine Paulin, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48256-3.
Pełny tekst źródłaSchneider, Klaus, and Jens Brandt, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74591-4.
Pełny tekst źródłaPlaisted, David A., and Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-07847-0.
Pełny tekst źródłaPlaisted, David A., and Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Vieweg+Teubner Verlag, 1997. http://dx.doi.org/10.1007/978-3-322-93862-6.
Pełny tekst źródłaBerghofer, Stefan, Tobias Nipkow, Christian Urban, and Makarius Wenzel, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03359-9.
Pełny tekst źródłaAagaard, Mark, and John Harrison, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44659-1.
Pełny tekst źródłaBoulton, Richard J., and Paul B. Jackson, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44755-5.
Pełny tekst źródłaHurd, Joe, and Tom Melham, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.
Pełny tekst źródłaGunter, Elsa L., and Amy Felty, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0028381.
Pełny tekst źródłaGoos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, and John Harrison, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0105392.
Pełny tekst źródłaGrundy, Jim, and Malcolm Newey, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055125.
Pełny tekst źródłaBertot, Yves, and Pierre Castéran. Interactive Theorem Proving and Program Development. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07964-5.
Pełny tekst źródłaCarreño, Victor A., César A. Muñoz, and Sofiène Tahar, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45685-6.
Pełny tekst źródłaSchumann, Johann M. Automated Theorem Proving in Software Engineering. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-22646-9.
Pełny tekst źródłaHarrison, John. Theorem Proving with the Real Numbers. Springer London, 1998. http://dx.doi.org/10.1007/978-1-4471-1591-5.
Pełny tekst źródłaSlind, Konrad, Annette Bunker, and Ganesh Gopalakrishnan, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b100400.
Pełny tekst źródłaBasin, David, and Burkhart Wolff, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11935.
Pełny tekst źródłaMohamed, Otmane Ait, César Muñoz, and Sofiène Tahar, eds. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-71067-7.
Pełny tekst źródła1939-, Lee Richard Char-Tung, ed. Symbolic logic and mechanical theorem proving. Academic Press, 1987.
Znajdź pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. 2nd ed. Springer, 1996.
Znajdź pełny tekst źródłaFitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer US, 1990. http://dx.doi.org/10.1007/978-1-4684-0357-2.
Pełny tekst źródłaFitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer New York, 1996. http://dx.doi.org/10.1007/978-1-4612-2360-3.
Pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.
Znajdź pełny tekst źródłaFitting, Melvin. First-Order Logic and Automated Theorem Proving. Springer New York, 1996.
Znajdź pełny tekst źródłaThistlewaite, Paul B. Automated theorem-proving in non-classical logics. Pitman, 1988.
Znajdź pełny tekst źródłaWen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Springer-Verlag, 1994.
Znajdź pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. Springer-Verlag, 1990.
Znajdź pełny tekst źródłaUnited States. National Aeronautics and Space Administration., ed. Generating test templates via automated theorem proving. National Aeronautics and Space Administration, 1997.
Znajdź pełny tekst źródłaPaulson, Lawrence C. Isabelle: A generic theorem prover. Springer-Verlag, 1994.
Znajdź pełny tekst źródłaThomas Schubert, E., Philip J. Windley, and James Alves-Foss, eds. Higher Order Logic Theorem Proving and Its Applications. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60275-5.
Pełny tekst źródłaJoyce, Jeffrey J., and Carl-Johan H. Seger, eds. Higher Order Logic Theorem Proving and Its Applications. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57826-9.
Pełny tekst źródła