Logic year 1979-80, the University of Connecticut, USA :: SCD d'Orléans

Logic year 1979-80, the University of Connecticut, USA

Logic year 1979-80, the University of Connecticut, USA

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Lerman, Manuel, 1943-
Andre forfattere:	Schmerl, James Henry, 1940- (Directeur de la publication), Soare, Robert Irving, 1940- (Directeur de la publication)
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer-Verlag 1981.
Serier:	Lecture notes in mathematics 859
Fag:	Logique symbolique et mathématique Actes de congrès
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, Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-38673-5

Lignende værker

Logic Year 1979 80 : The University of Connecticut, USA
af: Lerman, Manuel, 1943-

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
Udgivet: (1975)

The problem of inductive logic
Udgivet: (1968)

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

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Udgivet: (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
Udgivet: (1971)

Logic of programs : workshop, ETH Zürich, May-July 1979
af: 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
Udgivet: (1978)

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

Conference in mathematical logic, London '70
Udgivet: (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
Udgivet: (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
af: 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
Udgivet: (1973)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Udgivet: (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
af: Voronkov, Andrei, 1959-

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
af: 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
af: Homer, Steven, et autres

Logics in AI : [2nd] European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 14, 1990 : proceedings
af: 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
af: 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
af: 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
af: Pearce, David William, 1941-...., professeur d'économie

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
af: 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
af: 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