Logic Colloquium '78 : :: SCD d'Orléans

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	Logic colloquium
Awduron Eraill:	Dalen, Dirk van, 1932- (Cyfarwyddwr cyhoeddi), Boffa, Maurice, 1931-2001 (Cyfarwyddwr cyhoeddi), McAloon, Kenneth, 1940- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre papier
Iaith:	Anglais
Cyhoeddwyd:	Amsterdam ; New-York ; Oxford : North-Holland 1979.
Cyfres:	Studies in logic and the foundations of mathematics 97
Pynciau:	Logique symbolique et mathématique Actes de congrès
Autres localisations:	Voir dans le Sudoc

Eitemau Tebyg

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

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

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

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

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

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Cyhoeddwyd: (1977)

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

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

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

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

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

Mathematical logic and foundations of set theory : proceedings of an International Colloquium held under the auspices of the Israël Academy of Sciences and Humanitie : Jerusalem, 11-14 November 1968
Cyhoeddwyd: (1970)

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
Cyhoeddwyd: (1973)

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

The problem of inductive logic
Cyhoeddwyd: (1968)

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

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

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

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

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

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Cyhoeddwyd: (1965)

Conference in mathematical logic, London '70

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

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

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

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : 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
gan: Voronkov, Andrei, 1959-

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

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

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

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
gan: Homer, Steven, et al.

Logic year 1979-80, the University of Connecticut, USA
gan: Lerman, Manuel, 1943-
Cyhoeddwyd: (1981)

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

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

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

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

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
gan: Ralescu, Anca

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

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

© 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