Увійти

Готові списки джерел за темами / Higher order logics / Книги

Книги з теми "Higher order logics"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Higher order logics.

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 6 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Higher order logics".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Carreñ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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

35

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

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

Повний текст джерела

Анотація:

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.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!