Książki na temat „Higher order logics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Higher order logics”.
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.
Paulson, Lawrence C. The representation of logics in higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.
Znajdź 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ł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ł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ł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ł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ł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ł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ł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łaDavid, Basin, i Wolff Burkhart 1962-, red. Theorem proving in higher order logics: 16 international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. New York: Springer, 2003.
Znajdź pełny tekst źródła1967-, Schneider Klaus, i Brandt Jens 1978-, red. Theorem proving in higher order logics: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Berlin: Springer, 2007.
Znajdź pełny tekst źródłaMakarius, Wenzel, Urban Christian, Nipkow Tobias i SpringerLink (Online service), red. Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Znajdź pełny tekst źródłaDavid, Hutchison. Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008.
Znajdź pełny tekst źródłaTPHOLs '96 (1996 Turku, Finland). Theorem proving in higher order logics: 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin: Springer, 1996.
Znajdź pełny tekst źródłaTPHOLs '98 (1998 Canberra, A.C.T.). Theorem proving in higher order logics: 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings. Berlin: Springer, 1998.
Znajdź pełny tekst źródła1956-, Carreño Victor A., Muñoz César A. 1968- i Tahar Sofiène 1966-, red. Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.
Znajdź pełny tekst źródłaTPHOLs 2002 (2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.
Znajdź pełny tekst źródłaTPHOLs 2000 (2000 Portland, Or.). Theorem proving in higher order logics: 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings. New York: Springer, 2000.
Znajdź pełny tekst źródłaTPHOLs 2002 (15th 2002 Hampton, Va.). Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. New York: Springer, 2002.
Znajdź pełny tekst źródłaTPHOLs '97 (1997 Murray Hill, N.J.). Theorem proving in higher order logics: 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings. Berlin: Springer, 1997.
Znajdź pełny tekst źródłaGopalan, Nadathur, red. Programming with higher-order logic. Cambridge: Cambridge University Press, 2012.
Znajdź pełny tekst źródłaLambek, J. Introduction to higher order catagorical logic. Cambridge: CUP, 1986.
Znajdź pełny tekst źródłaHigher order logic and hardware verification. Cambridge: Cambridge University Press, 1993.
Znajdź pełny tekst źródłaCamilleri, Albert. Hardware verification using higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.
Znajdź pełny tekst źródłaJ, Scott P., red. Introduction to higher order categorical logic. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.
Znajdź pełny tekst źródłaHeering, Jan, Karl Meinke, Bernhard Möller i Tobias Nipkow, red. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Pełny tekst źródłaDowek, Gilles, Jan Heering, Karl Meinke i Bernhard Möller, red. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Pełny tekst źródłaJoyce, Jeffrey. Proving a computer correct in higher order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.
Znajdź pełny tekst źródłaGordon, M. J. C. A proof generating system for higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.
Znajdź pełny tekst źródłaJoyce, Jeffrey J., i Carl-Johan H. Seger, red. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57826-9.
Pełny tekst źródłaMelham, Thomas F., i Juanito Camilleri, red. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58450-1.
Pełny tekst źródłaThomas Schubert, E., Philip J. Windley i James Alves-Foss, red. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60275-5.
Pełny tekst źródłaSolving higher-order equations: From logic to programming. Boston: Birkhauser, 1998.
Znajdź pełny tekst źródłaGordon, M. J. C. HOL, a machine orientated formulation of higher order logic. Cambridge: University of Cambridge, ComputerLaboratory, 1985.
Znajdź pełny tekst źródłaIFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 Leuven, Belgium). Higher order logic theorem proving and its applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92. Amsterdam: North-Holland, 1993.
Znajdź pełny tekst źródłaWong, Wai. A formal theory of railway track networks in higher-order logic and its applications in interlocking design. [s.l.]: typescript, 1992.
Znajdź pełny tekst źródłaJoe, Hurd Tom Melham. Theorem Proving in Higher Order Logics. Springer, 2008.
Znajdź pełny tekst źródła(Editor), Yves Bertot, Gilles Dowek (Editor), Andre Hirschowitz (Editor), Christine Paulin (Editor) i Laurent Thery (Editor), red. Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science). Springer, 1999.
Znajdź pełny tekst źródła(Editor), Jim Grundy, i Malcolm Newey (Editor), red. Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings (Lecture Notes in Computer Science). Springer, 1998.
Znajdź pełny tekst źródłaTheorem Proving in Higher Order Logics: 9th International Conference, Tphols '96 Turku, Finland, August 26-30, 1996 : Proceedings (Lecture Notes in Computer Science). Springer, 1996.
Znajdź pełny tekst źródła(Editor), Joe Hurd, i Tom Melham (Editor), red. Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.
Znajdź pełny tekst źródłaTheorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.
Znajdź pełny tekst źródłaShapiro, Stewart. Higher‐order Logic. Redaktor Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.
Pełny tekst źródła(Editor), Victor A. Carreno, Cesar A. Munoz (Editor) i Sofiene Tahar (Editor), red. Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings (Lecture Notes in Computer Science). Springer, 2002.
Znajdź pełny tekst źródła(Editor), Richard J. Boulton, i Paul B. Jackson (Editor), red. Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science). Springer, 2001.
Znajdź pełny tekst źródła