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 e Sofiène Tahar, a cura di. 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 e Ganesh Gopalakrishnan, a cura di. 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 e Sofiène Tahar, a cura di. 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, e Burkhart Wolff, a cura di. 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 e Christine Paulin, a cura di. 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, e Jens Brandt, a cura di. 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, e Malcolm Newey, a cura di. 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 e John Harrison, a cura di. 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 e Makarius Wenzel, a cura di. 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, e John Harrison, a cura di. 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., e Paul B. Jackson, a cura di. 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, e Tom Melham, a cura di. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.
Testo completoGunter, Elsa L., e Amy Felty, a cura di. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0028381.
Testo completoDavid, Basin, e Wolff Burkhart 1962-, a cura di. 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, e Brandt Jens 1978-, a cura di. 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 e SpringerLink (Online service), a cura di. 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- e Tahar Sofiène 1966-, a cura di. 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, a cura di. 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., a cura di. Introduction to higher order categorical logic. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.
Cerca il testo completoHeering, Jan, Karl Meinke, Bernhard Möller e Tobias Nipkow, a cura di. 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 e Bernhard Möller, a cura di. 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., e Carl-Johan H. Seger, a cura di. 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., e Juanito Camilleri, a cura di. 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 e James Alves-Foss, a cura di. 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) e Laurent Thery (Editor), a cura di. 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, e Malcolm Newey (Editor), a cura di. 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, e Tom Melham (Editor), a cura di. 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. A cura di 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) e Sofiene Tahar (Editor), a cura di. 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, e Paul B. Jackson (Editor), a cura di. 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