Bibliografías temáticas / Higher order logics / Libros

Libros sobre el tema "Higher order logics"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Higher order logics.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 6 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Higher order logics".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Paulson, Lawrence C. The representation of logics in higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Carreño, Victor A., César A. Muñoz y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Slind, Konrad, Annette Bunker y Ganesh Gopalakrishnan, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b100400.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Mohamed, Otmane Ait, César Muñoz y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Basin, David y Burkhart Wolff, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/b11935.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Bertot, Yves, Gilles Dowek, Laurent Théry, André Hirschowitz y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Schneider, Klaus y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Grundy, Jim y Malcolm Newey, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055125.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Goos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy y John Harrison, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/bfb0105392.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Berghofer, Stefan, Tobias Nipkow, Christian Urban y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Aagaard, Mark y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Boulton, Richard J. y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Hurd, Joe y Tom Melham, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11541868.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Gunter, Elsa L. y Amy Felty, eds. Theorem Proving in Higher Order Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0028381.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

David, Basin y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

1967-, Schneider Klaus y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Makarius, Wenzel, Urban Christian, Nipkow Tobias y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

David, 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

TPHOLs '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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

TPHOLs '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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

1956-, Carreño Victor A., Muñoz César A. 1968- y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

TPHOLs 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

TPHOLs 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

TPHOLs 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

TPHOLs '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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Gopalan, Nadathur, ed. Programming with higher-order logic. Cambridge: Cambridge University Press, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Lambek, J. Introduction to higher order catagorical logic. Cambridge: CUP, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Higher order logic and hardware verification. Cambridge: Cambridge University Press, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Camilleri, Albert. Hardware verification using higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

J, Scott P., ed. Introduction to higher order categorical logic. Cambridge [Cambridgeshire]: Cambridge University Press, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Heering, Jan, Karl Meinke, Bernhard Möller y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Dowek, Gilles, Jan Heering, Karl Meinke y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Joyce, Jeffrey. Proving a computer correct in higher order logic. Cambridge: University of Cambridge, Computer Laboratory, 1986.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Gordon, M. J. C. A proof generating system for higher-order logic. Cambridge: University of Cambridge, Computer Laboratory, 1987.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Joyce, Jeffrey J. y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Melham, Thomas F. y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Thomas Schubert, E., Philip J. Windley y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Solving higher-order equations: From logic to programming. Boston: Birkhauser, 1998.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Gordon, M. J. C. HOL, a machine orientated formulation of higher order logic. Cambridge: University of Cambridge, ComputerLaboratory, 1985.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

IFIP 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Wong, Wai. A formal theory of railway track networks in higher-order logic and its applications in interlocking design. [s.l.]: typescript, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Joe, Hurd Tom Melham. Theorem Proving in Higher Order Logics. Springer, 2008.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

(Editor), Yves Bertot, Gilles Dowek (Editor), Andre Hirschowitz (Editor), Christine Paulin (Editor) y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

(Editor), Jim Grundy y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Theorem Proving in Higher Order Logics: 9th International Conference, Tphols '96 Turku, Finland, August 26-30, 1996 : Proceedings (Lecture Notes in Computer Science). Springer, 1996.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

(Editor), Joe Hurd y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science). Springer, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Shapiro, Stewart. Higher‐order Logic. Editado por Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.

Texto completo
Resumen
The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that. It develops the syntax of second-order languages and present typical deductive systems and model-theoretic semantics for them. This will help to explain the role of higher-order logic in the philosophy of mathematics. It is assumed that the reader has at least a passing familiarity with the theory and metatheory of first-order logic.
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

(Editor), Victor A. Carreno, Cesar A. Munoz (Editor) y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

(Editor), Richard J. Boulton y 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Higher order logics" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía