Conecte-se

Bibliografias temáticas / Higher order logics / Livros

Siga este link para ver outros tipos de publicações sobre o tema: Higher order logics.

Livros sobre o tema "Higher order logics"

Autor: Grafiati

Publicado: 4 de junho de 2021

Última modificação: 6 de fevereiro de 2022

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores livros para estudos sobre o assunto "Higher order logics".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.

1

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Mohamed, Otmane Ait, César Muñoz e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Bertot, Yves, Gilles Dowek, Laurent Théry, André Hirschowitz e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Schneider, Klaus, e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Berghofer, Stefan, Tobias Nipkow, Christian Urban e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Aagaard, Mark, e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Boulton, Richard J., e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

1956-, Carreño Victor A., Muñoz César A. 1968- e Tahar Sofiè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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Heering, Jan, Karl Meinke, Bernhard Möller e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Dowek, Gilles, Jan Heering, Karl Meinke e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Joyce, Jeffrey J., e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Melham, Thomas F., e 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

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

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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 da fonte

Resumo:

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.

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!