Logic Year 1979 80 : :: SCD d'Orléans

Logic Year 1979 80 : The University of Connecticut, USA

Logic Year 1979 80 : The University of Connecticut, USA

Enregistré dans:

Détails bibliographiques
Auteur principal:	Lerman, Manuel, 1943-
Autres auteurs:	Schmerl, James Henry, 1940- (Directeur de la publication), Soare, Robert Irving, 1940- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in mathematics 859
Sujets:	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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic year 1979-80, the University of Connecticut, USA, edited by M. Lerman, J.H. Schmerl, and R.I. Soare, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (VI-326 p.), Lecture notes in mathematics, 0-387-10708-8 • Logic Year 1979-80, Texte imprimé, 9783662185780

Documents similaires

Logic year 1979-80, the University of Connecticut, USA
par: Lerman, Manuel, 1943-
Publié: (1981)

Logic Symposia Hakone 1979, 1980 : Proceedings of Conferences Held in Hakone, Japan March 21 24, 1979 and February 4 7, 1980

Logic Colloquium : Symposium on Logic Held at Boston, 1972 73

Logic colloquium : symposium on logic held at Boston, 1972-73
Publié: (1975)

The problem of inductive logic
Publié: (1968)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Publié: (1968)

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Publié: (1975)

Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987

Logic colloquium '69 : proceedings of the Summer school and colloquium in mathematical logic, Manchester, August 1969
Publié: (1971)

Logic of programs : workshop, ETH Zürich, May-July 1979
par: Engeler, Erwin, 1930-

Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1 6, 1983

Conference in mathematical logic, London '70

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Publié: (1978)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Publié: (1979)

Conference in mathematical logic, London '70
Publié: (1972)

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic

Proceedings of the Summer school in logic, Leeds, 1967 : NATO Advanced study institute, meeting of the Association for symbolic logic
Publié: (1968)

Logics of programs : Brooklyn, June 17 19, 1985 : proceedings

Logics of programs : Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6 8, 1983

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
par: Marek, Victor W., 1943-

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971

Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
Publié: (1973)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Publié: (1975)

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-

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
par: MacNish, Craig, 19..-

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 28, 1988
par: Homer, Steven, et autres

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

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

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

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

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

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
par: Bucur, Ion, 1930-1976, et autres

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

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

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
par: Leivant, Daniel

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

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

Logics in AI : European Workshop JELIA'92, Berlin, Germany, September 7 10, 1992 : proceedings
par: Pearce, David A, 1952-

© 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