Axiomatising the logic of computer programming :: SCD d'Orléans

Axiomatising the logic of computer programming

Axiomatising the logic of computer programming

Enregistré dans:

Détails bibliographiques
Auteur principal:	Goldblatt, Robert, 1949-
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 130
Sujets:	Informatique Théorie de la démonstration
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Axiomatising the Logic of Computer Programming, Texte imprimé, 9783540112105 • Axiomatising the Logic of Computer Programming, Texte imprimé, 9783662195574 • Axiomatising the logic of computer programming, Robert Goldblatt, Berlin, Springer-Verlag, 1982, xi, 304 p., Lecture notes in computer science, 0-387-11210-3

Documents similaires

From logic design to logic programming : theorem proving techniques and P-functions
par: Snyers, Dominique, et autres

Three Views of Logic : Mathematics, Philosophy, and Computer Science
par: Loveland, Donald W., et autres
Publié: (2014)

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

The logic of information structures
par: Wansing, Heinrich, 1963-

Automated deduction in equational logic and cubic curves
par: McCune, William Walker, 1953-, et autres

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
par: Lauer, Peter E., 1934-

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
par: Parigot, Michel, 1956-...., mathématicien

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
par: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
par: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
par: Pfenning, Frank

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

Hybrid logic and its proof-theory
par: Bräuner, Torben, 1962-

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
par: Kahle, Reinhard, 1967-

The computer modelling of mathematical reasoning
par: Bundy, Alan R., 1947-
Publié: (1983)

Applied proof theory : proof interpretations and their use in mathematics
par: Kohlenbach, Ulrich, 1962-
Publié: (2008)

Applied proof theory : proof interpretations and their use in mathematics
par: Kohlenbach, Ulrich, 1962-

Term indexing
par: Graf, Peter, 1966-

A resolution principle for a logic with restricted quantifiers
par: Bürckert, Hans-Jürgen

On the shape of mathematical arguments
par: Gasteren, Antonetta J. M. van, 1952-

Gentzen calculi for modal propositional logic
par: Poggiolesi, Francesca, 1980-

Automated deduction in classical and non-classical logics : selected papers

Modern cryptography, probabilistic proofs and pseudorandomness
par: Goldreich, Oded, 1957-
Publié: (1999)

Utilizing problem structure in planning : a local search approach
par: Hoffmann, Jörg

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

The story of proof : logic and history of mathematics
par: Stillwell, John, 1942-...., Professeur de mathématiques
Publié: (2022)

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

The automation of reasoning with incomplete information : from semantic foundations to efficient computation
par: Schaub, Torsten

Computation theory and logic
par: Börger, Egon, 1946-

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

Proof in mathematics ("if", "then" and "perhaps") : a collection of material illustrating the nature and variety of the idea of proof in mathematics
par: Baxandall, P. R.
Publié: (1978)

The proof is in the pudding : the changing nature of mathematical proof
par: Krantz, Steven G., 1951-...., mathématicien
Publié: (2011)

Methods of cut-elimination
par: Leitsch, Alexander, 1952-, et autres

© 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