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, i Amy Felty, red. Interactive Theorem Proving. Berlin, Heidelberg: 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. Wiesbaden: Vieweg+Teubner Verlag, 1987. http://dx.doi.org/10.1007/978-3-322-90102-6.
Pełny tekst źródłaAyala-Rincón, Mauricio, i César A. Muñoz, red. Interactive Theorem Proving. Cham: 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. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4613-0089-2.
Pełny tekst źródłaKlein, Gerwin, i Ruben Gamboa, red. Interactive Theorem Proving. Cham: 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 i David Pichardie, red. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2.
Pełny tekst źródłaKaufmann, Matt, i Lawrence C. Paulson, red. Interactive Theorem Proving. Berlin, Heidelberg: 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 i Freek Wiedijk, red. Interactive Theorem Proving. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22863-6.
Pełny tekst źródłaUrban, Christian, i Xingyuan Zhang, red. Interactive Theorem Proving. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22102-1.
Pełny tekst źródłaAvigad, Jeremy, i Assia Mahboubi, red. Interactive Theorem Proving. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94821-8.
Pełny tekst źródłaBlanchette, Jasmin Christian, i Stephan Merz, red. Interactive Theorem Proving. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-43144-4.
Pełny tekst źródłaBibel, W. Automated theorem proving. Wyd. 2. Braunschweig: F. Vieweg, 1987.
Znajdź pełny tekst źródłaChou, Shang-Ching. Mechanical Geometry Theorem Proving. Dordrecht: 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. Dordrecht: D. Reidel Pub. Co., 1988.
Znajdź pełny tekst źródłaSmith, A. Which theorem prover?: A survey of four theorem provers. London: HMSO, 1990.
Znajdź pełny tekst źródłaWu, Wen-tsün. Mechanical Theorem Proving in Geometries. Vienna: 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. [s.l.]: typescript, 1989.
Znajdź pełny tekst źródłaReeves, Stephen Victor. Theorem-proving by semantic tableaux. Birmingham: University of Birmingham, 1985.
Znajdź pełny tekst źródłaPrinciples of automated theorem proving. Chichester: Wiley, 1991.
Znajdź pełny tekst źródła1939-, Lee Richard Char-Tung, red. Symbolic logic and mechanical theorem proving. San Diego: Academic Press, 1987.
Znajdź pełny tekst źródłaBertot, Yves, Gilles Dowek, Laurent Théry, André Hirschowitz i Christine Paulin, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48256-3.
Pełny tekst źródłaSchneider, Klaus, i Jens Brandt, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74591-4.
Pełny tekst źródłaPlaisted, David A., i Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Wiesbaden: Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-07847-0.
Pełny tekst źródłaPlaisted, David A., i Yunshan Zhu. The Efficiency of Theorem Proving Strategies. Wiesbaden: 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 i Makarius Wenzel, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03359-9.
Pełny tekst źródłaAagaard, Mark, i John Harrison, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44659-1.
Pełny tekst źródłaBoulton, Richard J., i Paul B. Jackson, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44755-5.
Pełny tekst źródłaHurd, Joe, i Tom Melham, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.
Pełny tekst źródłaGunter, Elsa L., i Amy Felty, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: 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 i John Harrison, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0105392.
Pełny tekst źródłaGrundy, Jim, i Malcolm Newey, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055125.
Pełny tekst źródłaBertot, Yves, i 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.
Pełny tekst źródłaCarreño, Victor A., César A. Muñoz i Sofiène Tahar, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: 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. Berlin, Heidelberg: 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. London: Springer London, 1998. http://dx.doi.org/10.1007/978-1-4471-1591-5.
Pełny tekst źródłaSlind, Konrad, Annette Bunker i Ganesh Gopalakrishnan, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b100400.
Pełny tekst źródłaBasin, David, i Burkhart Wolff, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11935.
Pełny tekst źródłaMohamed, Otmane Ait, César Muñoz i Sofiène Tahar, red. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-71067-7.
Pełny tekst źródłaJ, Harrison. Theorem proving with the real numbers. London: Springer, 1998.
Znajdź pełny tekst źródłaAutomated theorem proving: Theory and practice. New York: Springer, 2001.
Znajdź pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. Wyd. 2. New York: Springer, 1996.
Znajdź pełny tekst źródłaFitting, 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.
Pełny tekst źródłaFitting, 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.
Pełny tekst źródłaThistlewaite, Paul B. Automated theorem-proving in non-classical logics. London: Pitman, 1988.
Znajdź pełny tekst źródłaWen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Wien: Springer-Verlag, 1994.
Znajdź pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. New York: Springer-Verlag, 1990.
Znajdź pełny tekst źródłaFitting, Melvin. First-order logic and automated theorem proving. New York: Springer-Verlag, 1990.
Znajdź pełny tekst źródłaUnited States. National Aeronautics and Space Administration., red. Generating test templates via automated theorem proving. [Washington, DC: National Aeronautics and Space Administration, 1997.
Znajdź pełny tekst źródłaFitting, Melvin. First-Order Logic and Automated Theorem Proving. New York, NY: Springer New York, 1996.
Znajdź pełny tekst źródłaPaulson, Lawrence C. Isabelle: A generic theorem prover. Berlin: Springer-Verlag, 1994.
Znajdź pełny tekst źródła