Theorem proving in higher order logics : :: SCD d'Orléans

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

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

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submiss...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	International conference on theorem proving in higher order logics :Turku, Finlande
अन्य लेखक:	Wright, Joakim von, 1955- (प्रकाशन निदेशक), Grundy, Jim, 1968- (प्रकाशन निदेशक), Harrison, John, 1966- (प्रकाशन निदेशक)
स्वरूप:	Livre numérique
भाषा:	Anglais
प्रकाशित:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
श्रृंखला:	Lecture notes in computer science 1125
विषय:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Structure logique Actes de congrès
ऑनलाइन पहुंच:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
टिप्पणी:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Theorem proving in higher order logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 1996, proceedings, J. von Wright, J. Grundy, J. Harrison (eds.), 1996, Berlin, Springer, 1 vol. (VIII-446 p.), Lecture notes in computer science, 3-540-61587-3 • Theorem Proving in Higher Order Logics, Texte imprimé, 9783662195963

समान संसाधन

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 : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 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 : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : 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 : 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

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

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

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Using sophisticated models in resolution theorem proving
द्वारा: Sandford, David M., 19..-

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
द्वारा: Miglioli, Pierangelo, 1946-

From logic design to logic programming : theorem proving techniques and P-functions
द्वारा: Snyers, Dominique, और अन्य

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
द्वारा: Baumgartner, Peter, 1953-

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

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

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
द्वारा: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
द्वारा: Kakas, Antonis C.

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
द्वारा: Pfenning, Frank

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

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

A resolution principle for a logic with restricted quantifiers
द्वारा: Bürckert, Hans-Jürgen

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

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

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

Automated deduction in equational logic and cubic curves
द्वारा: McCune, William Walker, 1953-, और अन्य

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

9th international conference on automated deduction : Argonne, Illinois, USA, May 23 26, 1988 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
द्वारा: Nipkow, Tobias, 1958-..., informaticien, और अन्य

6th Conference on Automated Deduction, New York, USA, June 7 9, 1982

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

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
द्वारा: McRobbie, Michael A., 1950-

5th Conference on automated deduction : Les Arcs, France, July 8 11, 1980

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

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

The computer modelling of mathematical reasoning
द्वारा: Bundy, Alan R., 1947-
प्रकाशित: (1983)

8th International conference on automated deduction : Oxford, England, July 27 August 1, 1986 : proceedings

Isabelle : a generic theorem prover
द्वारा: Paulson, Lawrence C., 1955-...., informaticien

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
द्वारा: Gabbay, Dov M., 1945-

© 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