Computer science logic : :: SCD d'Orléans

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993. The 21 full papers included were selected from a total of 62 submissions and essentially c...

وصف كامل

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	Workshop on computer science logic :Swansea, Grande-Bretagne
مؤلفون آخرون:	Börger, Egon, 1946- (مدير النشر), Gurevich, Yuri, 1940- (مدير النشر), Meinke, Karl, 1961- (مدير النشر)
التنسيق:	Livre numérique
اللغة:	Anglais
منشور في:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
سلاسل:	Lecture notes in computer science 832
الموضوعات:	Informatique Intelligence artificielle Logique symbolique et mathématique 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:	• Computer science logic, 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, selected papers, Egon Börger, Yuri Gurevich, Karl Meinke, eds, 1994, Berlin, Springer-Verlag, 1 vol. (viii-336 p.), Lecture notes in computer science, 3-540-58277-0 • Computer Science Logic, Texte imprimé, 9783662166383

مواد مشابهة

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

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

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Logic, language, and computation : festschrift in honor of Satoru Takasu
بواسطة: Jones, Neil D., 1941-

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

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
بواسطة: MacNish, Craig, 19..-

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

Logics in AI : European Workshop JELIA'92, Berlin, Germany, September 7 10, 1992 : proceedings
بواسطة: Pearce, David A, 1952-

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
بواسطة: Ralescu, Anca

Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
بواسطة: Furuhashi, Takeshi, 1954-

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

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
بواسطة: Alferes, José Júlio, 1966-

Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1995 : selected papers

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
بواسطة: Fuhrmann, André

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
بواسطة: Voronkov, Andrei, 1959-

Trends, techniques, and problems in theoretical computer science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13 17, 1986 : selected contributions

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
بواسطة: Fisher, Michael

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
بواسطة: Voronkov, Andrei, 1959-

Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers

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

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
بواسطة: Bruynooghe, Maurice

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

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

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995 : selected papers
بواسطة: Martin, Trevor P., 1957-

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : 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