Higher order logic theorem proving and its application : :: SCD d'Orléans

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 application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994. Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents m...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Korporacja:	International workshop on Higher Order Logic Theorem Proving and its Applications :La Valette
Kolejni autorzy:	Camilleri, Juanito (Dyrektor wydawnictwa), Melham, Thomas F., 1960- (Dyrektor wydawnictwa)
Format:	Livre numérique
Język:	Anglais
Wydane:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seria:	Lecture notes in computer science 859
Hasła przedmiotowe:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Higher order logic theorem proving and its application, 7th international workshop, Valletta, Malta, September 19-22, 1994, proceedings, Thomas F. Melham, Juanito Camilleri, (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (IX-470 p.), Lecture notes in computer science, 3-540-58450-1 • Higher Order Logic Theorem Proving and Its Applications, Texte imprimé, 9783662214749

Podobne zapisy

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 : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : 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
od: Slind, Konrad

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 : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

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

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

Using sophisticated models in resolution theorem proving
od: Sandford, David M., 19..-

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

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

From logic design to logic programming : theorem proving techniques and P-functions
od: Snyers, Dominique, i wsp.

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

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

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

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

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

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

Automated deduction in equational logic and cubic curves
od: McCune, William Walker, 1953-, i wsp.

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

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

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

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

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

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

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

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

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

Isabelle/HOL : a proof assistant for higher-order logic
od: Nipkow, Tobias, 1958-..., informaticien, i wsp.

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

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

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

Isabelle : a generic theorem prover
od: Paulson, Lawrence C., 1955-...., informaticien

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
od: Bundy, Alan R., 1947-

The computer modelling of mathematical reasoning
od: Bundy, Alan R., 1947-
Wydane: (1983)

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

© 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