Logic Symposia Hakone 1979, 1980 : :: SCD d'Orléans

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

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

Enregistré dans:

Détails bibliographiques
Collectivités auteurs:	Logic Symposia :Hakone, Japon, Logic Symposia (Auteur)
Autres auteurs:	Müller, Gert Heinz, 1923-2006 (Directeur de la publication), Takeuchi, Gaishi, 1926-2017 (Directeur de la publication), Tugué, Tosiyuki, 1926- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in mathematics 891
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:	Actes de deux congrès : symposia on the foundations of mathematics, "Proj. no. 234002('79)" et "Proj. no. 434007 ('80)" organisés respectivement du 21 au 24 mars 1979 et du 4 au 7 février, à Gôra, Hakone (Japon) Préface en japonais Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic Symposia, Hakone, 1979, 1980, proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980, ed. by G.H. Müller, G. Takeuti, and T. Tugué, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (XI-394 p.), Lecture notes in mathematics, 0-387-11161-1 • Logic Symposia, Hakone, 1979, 1980, Texte imprimé, 9783662168387

Documents similaires

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

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

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

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

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

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)

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

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

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

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

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)

Conference in mathematical logic, London '70

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

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

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

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

The problem of inductive logic
Publié: (1968)

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

Logics of programs : Brooklyn, June 17 19, 1985 : 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-

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

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

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

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
par: Furukawa, Kōichi, 1938-

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

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

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

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

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : 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 : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

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

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

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

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

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : 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