Libri sul tema "Higher order logics"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 libri per l'attività di ricerca sul tema "Higher order logics".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi i libri di molte aree scientifiche e compila una bibliografia corretta.
Paulson, Lawrence C. The representation of logics in higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.
Cerca il testo completoCarreñ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.
Testo completoSlind, 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.
Testo completoMohamed, 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.
Testo completoBasin, David, and Burkhart Wolff, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11935.
Testo completoBertot, 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.
Testo completoSchneider, 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.
Testo completoGrundy, Jim, and Malcolm Newey, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055125.
Testo completoGoos, 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.
Testo completoBerghofer, 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.
Testo completoAagaard, 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.
Testo completoBoulton, 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.
Testo completoHurd, Joe, and Tom Melham, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.
Testo completoGunter, 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.
Testo completoDavid, Basin, and Wolff Burkhart 1962-, eds. Theorem proving in higher order logics: 16 international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. New York: Springer, 2003.
Cerca il testo completo1967-, Schneider Klaus, and Brandt Jens 1978-, eds. Theorem proving in higher order logics: 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Berlin: Springer, 2007.
Cerca il testo completoMakarius, Wenzel, Urban Christian, Nipkow Tobias, and SpringerLink (Online service), eds. Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Cerca il testo completoDavid, 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.
Cerca il testo completoTPHOLs '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.
Cerca il testo completoTPHOLs '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.
Cerca il testo completo1956-, Carreño Victor A., Muñoz César A. 1968-, and Tahar Sofiène 1966-, eds. Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.
Cerca il testo completoTPHOLs 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.
Cerca il testo completoTPHOLs 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.
Cerca il testo completoTPHOLs 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.
Cerca il testo completoTPHOLs '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.
Cerca il testo completoGopalan, Nadathur, ed. Programming with higher-order logic. Cambridge: Cambridge University Press, 2012.
Cerca il testo completoLambek, J. Introduction to higher order catagorical logic. Cambridge: CUP, 1986.
Cerca il testo completoHigher order logic and hardware verification. Cambridge: Cambridge University Press, 1993.
Cerca il testo completoCamilleri, Albert. Hardware verification using higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.
Cerca il testo completoJ, Scott P., ed. Introduction to higher order categorical logic. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.
Cerca il testo completoHeering, Jan, Karl Meinke, Bernhard Möller, and Tobias Nipkow, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Testo completoDowek, Gilles, Jan Heering, Karl Meinke, and Bernhard Möller, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Testo completoJoyce, Jeffrey. Proving a computer correct in higher order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.
Cerca il testo completoGordon, M. J. C. A proof generating system for higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.
Cerca il testo completoJoyce, Jeffrey J., and Carl-Johan H. Seger, eds. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-57826-9.
Testo completoMelham, Thomas F., and Juanito Camilleri, eds. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58450-1.
Testo completoThomas Schubert, E., Philip J. Windley, and James Alves-Foss, eds. Higher Order Logic Theorem Proving and Its Applications. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60275-5.
Testo completoSolving higher-order equations: From logic to programming. Boston: Birkhauser, 1998.
Cerca il testo completoGordon, M. J. C. HOL, a machine orientated formulation of higher order logic. Cambridge: University of Cambridge, ComputerLaboratory, 1985.
Cerca il testo completoIFIP 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.
Cerca il testo completoWong, Wai. A formal theory of railway track networks in higher-order logic and its applications in interlocking design. [s.l.]: typescript, 1992.
Cerca il testo completoJoe, Hurd Tom Melham. Theorem Proving in Higher Order Logics. Springer, 2008.
Cerca il testo completo(Editor), Yves Bertot, Gilles Dowek (Editor), Andre Hirschowitz (Editor), Christine Paulin (Editor), and Laurent Thery (Editor), eds. 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.
Cerca il testo completo(Editor), Jim Grundy, and Malcolm Newey (Editor), eds. 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.
Cerca il testo completoTheorem Proving in Higher Order Logics: 9th International Conference, Tphols '96 Turku, Finland, August 26-30, 1996 : Proceedings (Lecture Notes in Computer Science). Springer, 1996.
Cerca il testo completo(Editor), Joe Hurd, and Tom Melham (Editor), eds. 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.
Cerca il testo completoTheorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.
Cerca il testo completoShapiro, Stewart. Higher‐order Logic. Edited by Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.
Testo completo(Editor), Victor A. Carreno, Cesar A. Munoz (Editor), and Sofiene Tahar (Editor), eds. 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.
Cerca il testo completo(Editor), Richard J. Boulton, and Paul B. Jackson (Editor), eds. 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.
Cerca il testo completo