Cabal Seminar 77-79 : :: SCD d'Orléans

Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79

Cabal Seminar 77-79 : Proceedings, Caltech-UCLA Logic Seminar 1977-79

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	Caltech-UCLA logic seminar :Los Angeles, Calif.
Diğer Yazarlar:	Moschovakis, Yiannis N. (Yayın yönetmeni), Martin, Donald A., 1940- (Yayın yönetmeni), Kechris, Alexander Sotirios, 1946-...., mathématicien (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in mathematics 839
Konular:	Logique symbolique et mathématique Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Cabal seminar 77-79, proceedings, Caltech-UCLA logic seminar 1977-79, edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis, 1981, Berlin [etc.], Springer, 1 vol. (274 p.), Lecture notes in mathematics, 3-540-10288-4 • Cabal Seminar 77 79, Texte imprimé, 9783662187388

Benzer Materyaller

Cabal seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79
Baskı/Yayın Bilgisi: (1981)

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Baskı/Yayın Bilgisi: (1978)

Cabal Seminar 76 77 : proceedings, Caltech-UCLA logic seminar 1976 77

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

Logic colloquium'77 : Proceedings of the colloquium held in Wroclaw, August 1977
Baskı/Yayın Bilgisi: (1978)

Contributions to mathematical logic : proceedings of the Logic Colloquium, Hannover 1966
Baskı/Yayın Bilgisi: (1968)

Logic colloquium '73 : proceedings of the Logic colloquium, Bristol, July 1973
Baskı/Yayın Bilgisi: (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
Baskı/Yayın Bilgisi: (1971)

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
Baskı/Yayın Bilgisi: (1968)

Logic Colloquium '78 : proceedings of the Colloquium held in Mons, August 1978
Baskı/Yayın Bilgisi: (1979)

The problem of inductive logic
Baskı/Yayın Bilgisi: (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 : Symposium on Logic Held at Boston, 1972 73

Logic colloquium : symposium on logic held at Boston, 1972-73
Baskı/Yayın Bilgisi: (1975)

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

Conference in mathematical logic, London '70

Conference in mathematical logic, London '70
Baskı/Yayın Bilgisi: (1972)

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

Classification Theory : Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 19, 1985

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Baskı/Yayın Bilgisi: (1975)

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

Logic year 1979-80, the University of Connecticut, USA
Yazar:: Lerman, Manuel, 1943-
Baskı/Yayın Bilgisi: (1981)

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

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
Baskı/Yayın Bilgisi: (1973)

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

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
Yazar:: Voronkov, Andrei, 1959-

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Baskı/Yayın Bilgisi: (1965)

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

The nature of computation : logic, algorithms, applications : proceedings
Baskı/Yayın Bilgisi: (2013)

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

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

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

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

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

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975
Baskı/Yayın Bilgisi: (1977)

Field-programmable logic and applications : 7th International Workshop, FPL '97 London, UK, September 1 3, 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