Logic in databases : :: SCD d'Orléans

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submiss...

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	International Workshop on Logic in databases :San Miniato, Italie
Drugi avtorji:	Pedreschi, Dino, 19..- (Directeur de la publication), Zaniolo, Carlo, 19..- (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 1154
Teme:	Informatique Intelligence artificielle Logique symbolique et mathématique Informatique documentaire Programmation logique Bases de données déductives Actes de congrès
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:	• Logic in databases, International Workshop LID '96, San Miniato, Italy, July 1996, proceedings, Dino Pedreschi, Carlo Zaniolo, (eds.), 1996, Berlin, Springer, 1 vol. (X-495 p.), Lecture notes in computer science, 3-540-61814-7 • Logic in Databases, Texte imprimé, 9783662182277

Podobne knjige/članki

Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers

Deductive and object-oriented databases : third international conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993 : proceedings

Interactive relational database design : a logic programming implementation
od: Bagchi, Tapan Prasad, et autres

Advances in database technology - EDBT '92 : 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23 27, 1992 : proceedings

Knowledge discovery in databases : PKDD 2003 : 7th European conference on principles and practice of knowledge discovery in databases, Cavtat-Dubrovnik, Croatia, september 22-26, 2003 : proceedings

Knowledge discovery in databases : ; proceedings PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004

A tight, practical integration of relations and functions
od: Boley, Harold

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
od: Dyckhoff, Roy, 1948-

Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Meta-level control for deductive database systems
od: Schmidt, Helmut

Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4 7, 1990 : proceedings
od: Dix, Jürgen, 1961-

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9 10, 1990 : proceedings
od: Pearce, David William, 1941-...., professeur d'économie

ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : proceedings

Foundations of equational logic programming
od: Hölldobler, Steffen, 1957-

Principles of data mining and knowledge discovery : 4 th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings

Principles of data mining and knowledge discovery : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19 23, 2002 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
od: Furukawa, Kōichi, 1938-

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
od: Voronkov, Andrei, 1959-

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

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
od: Eijck, Jan van, informaticien

Termination proofs for logic programs
od: Plümer, Lutz, 1951-

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Advances in database technology - EDBT '90 : International Conference on Extending Database Technology, Venice, Italy, March 26 30, 1990 : proceedings

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

Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
od: Furukawa, Kōichi, 1938-

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

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
od: Bruynooghe, Maurice

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : 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