First-order logic :: SCD d'Orléans

First-order logic

First-order logic

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Smullyan, Raymond Merrill, 1919-2017
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• First-Order Logic, 978-3-642-86720-0

Podobne knjige/članki

First-order dynamic logic
od: Harel, David, 1950-

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
od: Makkai, Mihály, 1939-, et autres

Data Sciences: From First-Order Logic to the Web
od: Serge Abiteboul
Izdano: (2021)

Data Sciences: From First Order Logic to the Web
od: Abiteboul, Serge
Izdano: (2015)

What is the name of this book? : the riddle of Dracula and other logical puzzles
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (1978)

Alice in puzzle-land : a Carrollian tale for children under eighty
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (2011)

Fundamentals of logic
od: Smullyan, Arthur
Izdano: (1962)

Les énigmes de Shéhérazade : ou comment une malicieuse princesse vient à bout de 200 questions de logique et de mathématique
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (1998)

Les théorèmes d'incomplétude de Gödel
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (2000)

Le livre qui rend fou : des casse-têtes logiques à en perdre la raison !
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (2019)

Quel est le titre de ce livre ?
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (1981)

Les théorèmes d'incomplétude de Gödel
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (1993)

Le livre qui rend fou
od: Smullyan, Raymond Merrill, 1919-2017
Izdano: (2025)

Data Sciences: From First-Order Logic to the Web : Inaugural lecture given on Thursday 8 March 2012
od: Abiteboul, Serge, 1953-
Izdano: (2013)

Data Sciences: From First-Order Logic to the Web : Inaugural lecture given on Thursday 8 March 2012
od: Abiteboul, Serge, 1953-
Izdano: (2013)

First-Order Circuits.
Izdano: (2024)

First Order Systems.
Izdano: (2024)

Elimination Kinetics: First-Order and Zero-Order.
Izdano: (2024)

Computational aspects of an order-sorted logic with term declarations
od: Schmidt-Schauß, Manfred

First-order Representations of Linear Systems
od: Kuijper, Margreet, 1961-

A first journey through logic
od: Hils, Martin, 1973-, et autres
Izdano: (2019)

Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers

Tableau systems for first order number theory and certain higher order theories
od: Toledo, Sue Ann, 1940-
Izdano: (1975)

Tableau systems for first order number theory and certain higher order theories
od: Toledo, Sue Ann, 1940-

Efficient first-order performance estimation for high-order adaptive optics systems
od: R. C. Flicker
Izdano: (2003)

Calculus of variations and partial differential equations of the first order. Partial differential equations of the first order
od: Caratheodory, Konstantin, 1873-1950
Izdano: (1965)

Anomalous diffusion in the first-order Jovian resonance
od: R. R. Cordeiro, et autres
Izdano: (2005)

Generalized Solutions of First Order PDEs : The Dynamical Optimization Perspective
od: Subbotin, Andrei I., 1945-1997

First Order Algebraic Differential Equations : A Differential Algebraic Approach
od: Matsuda, Michihiko, 1938-

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Generalized Characteristics of First Order PDEs : Applications in Optimal Control and Differential Games
od: Melikjan, Arik A.

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
od: Slind, Konrad

Calculus of variations and partial differential equations of the first order
od: Caratheodory, Konstantin, 1873-1950
Izdano: (1982)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales