Next generation information system technology : :: SCD d'Orléans

Next generation information system technology : First International East/West Data Base Workshop, Kiev, USSR, October 9 12, 1990 : proceedings

Next generation information system technology : First International East/West Data Base Workshop, Kiev, USSR, October 9 12, 1990 : proceedings

Currently, the field of information systems technology is rapidly extending into several dimensions. There is the semantic dimension (including object orientation, data deduction and extended knowledge representation schemes), there is improved systems integration, and there are new tools. All these...

Description complète

Enregistré dans:

Détails bibliographiques
Autres auteurs:	Schmidt, Joachim W. (Directeur de la publication), Stogny, Anatoly A., 19..- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 504
Sujets:	Informatique Technologie de l'information Langages de programmation Logique symbolique et mathématique Actes de congrès
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:	Actes d'un séminaire tenu à Kiev du 9 au 12 octobre 1990, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Next generation information system technology, proceedings, First International East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Berlin, Springer-Verlag, 1991, 1 vol. (IX-450 p.), Lecture notes in computer science, 3-540-54141-1 • Next Generation Information System Technology, Texte imprimé, 9783662163375

Documents similaires

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

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

Semantics, applications, and implementation of program generation : [first] International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings

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

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Foundations of software technology and theoretical computer science : 12th conference, New Delhi, India, December 18-20, 1992 : proceedings : FST and TCS 12

Advances in database technology - EDBT '94 : 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 31, 1994 : proceedings

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

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

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

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

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

Algebraic and logic programming : third international conference, Volterra, Italy, September 2 4, 1992 : proceedings

A concise introduction to mathematical logic
par: Rautenberg, Wolfgang, 1936-

Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

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

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
par: Voronkov, Andrei, 1959-

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
par: Fisher, Michael

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

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 1997 : proceedings

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

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

Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings : FST and TCS 13

Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings : FST and TCS 11

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

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

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

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

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

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

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI 97 Workshop, Aix-en-Provence, France, August 11 22, 1997 : revised lectures

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

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

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

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

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : 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