Computational logic : logic programming and beyond : :: SCD d'Orléans

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski part II

Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby a...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Kakas, Antonis C.
Andre forfattere:	Sadri, Fariba, 19..- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science. Lecture notes in artificial intelligence 2408
Fag:	Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Programmation logique Mélanges et hommages
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Mélanges. Kowalski, Robert A
Edition sous un autre format:	• Computational Logic: Logic Programming and Beyond, Texte imprimé, 9783540439608 • Computational Logic: Logic Programming and Beyond, Texte imprimé, 9783662199411

Lignende værker

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

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

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

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

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

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

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

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

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : 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

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

Foundations of inductive logic programming
af: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

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

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

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

Isabelle/HOL : a proof assistant for higher-order logic
af: Nipkow, Tobias, 1958-..., informaticien, et autres

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 : 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
af: Slind, Konrad

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

Reasoning with logic programming
af: Alferes, José Júlio, 1966-, et autres

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

Types for proofs and programs : International Workshop, TYPES 2000 Durham, UK, December 8 12, 2000 : selected papers

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

Instantiation theory : on the foundations of automated deduction
af: Williams, James G., 1939-

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

Correct system design : recent insights and advances
af: Steffen, Bernhard, 1956-

Theory reasoning in connection calculi
af: Baumgartner, Peter, 1953-

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

© 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