Colloque international de logique : :: SCD d'Orléans

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975

Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	Colloques internationaux du Centre national de la recherche scientifique :Clermont-Ferrand
Materyal Türü:	Livre papier
Dil:	Français Anglais
Baskı/Yayın Bilgisi:	Paris : Éditions du Centre national de la recherche scientifique [C.N.R.S.] 1977.
Seri Bilgileri:	Colloques internationaux du Centre national de la recherche scientifique N˚249
Konular:	Logique Logique symbolique et mathématique Actes de congrès
Not:	Textes en anglais et en français
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Le raisonnement en mathématiques et en sciences expérimentales : [actes du Colloque international de logique mathématique]
Yazar:: Bernays, Paul, 1888-1977, ve diğerleri
Baskı/Yayın Bilgisi: (1958)

Logique, dynamique et cognition
Baskı/Yayın Bilgisi: (2017)

Logique, dynamique et cognition
Baskı/Yayın Bilgisi: (2017)

Séminaire général de logique, 1982-83
Yazar:: Delon, Françoise, 19..-, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

Séminaire général de logique, 1983-1984
Baskı/Yayın Bilgisi: (1986)

[Lambda]-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Baskı/Yayın Bilgisi: (2005)

Méthodes de logique
Yazar:: Quine, Willard Van Orman, 1908-2000, philosophe
Baskı/Yayın Bilgisi: (1973)

Introduction à la logique
Yazar:: Rivenc, François, 1945-
Baskı/Yayın Bilgisi: (1989)

Logique sans peine
Yazar:: Carroll, Lewis, 1832-1898
Baskı/Yayın Bilgisi: (1966)

The problem of inductive logic
Baskı/Yayın Bilgisi: (1968)

Informatique mathématique : une photographie en 2022
Yazar:: Bournez, Olivier, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Logique combinatoire
Yazar:: Lagasse, Jean, 1924-2003, ve diğerleri
Baskı/Yayın Bilgisi: (1976)

Introduction à la logique
Yazar:: Delessert, André, 1923-2010
Baskı/Yayın Bilgisi: (1988)

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

Introduction à la logique
Yazar:: Leroux, Jean, 1948-
Baskı/Yayın Bilgisi: (1998)

Logique mathématique
Yazar:: Kleene, Stephen Cole, 1909-1994
Baskı/Yayın Bilgisi: (1971)

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

Logique et complexité
Yazar:: Lassaigne, Richard, ve diğerleri
Baskı/Yayın Bilgisi: (1996)

Logique et modélisation : modèles consistants, données compatibles
Yazar:: Gondran, Michel, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Logique interne : [modèles et applications]
Yazar:: Gauthier, Yvon, 1941-
Baskı/Yayın Bilgisi: (1997)

De la logique à l'argumentation
Yazar:: Grize, Jean Blaise, 1922-2013, logicien
Baskı/Yayın Bilgisi: (2015)

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : 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 : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

La logique
Yazar:: Cohen, Gilles, 1951-2023, mathématicien
Baskı/Yayın Bilgisi: (2004)

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

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

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

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

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

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Cours de logique mathématique. Relation et formule logique
Yazar:: Fraïssé, Roland, 1920-2008, mathématicien
Baskı/Yayın Bilgisi: (1971)

Introduction à la logique standard : calcul des propositions, des prédicats et des relations
Yazar:: Vernant, Denis, 1948-
Baskı/Yayın Bilgisi: (2001)

Logique sans peine
Yazar:: Carroll, Lewis, 1832-1898
Baskı/Yayın Bilgisi: (1972)

Introduction à la logique
Yazar:: Tarski, Alfred, 1901-1983
Baskı/Yayın Bilgisi: (1971)

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-

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
Yazar:: Bruynooghe, Maurice

Logique. Méthodes formelles pour l'étude des programmes
Yazar:: Gochet, Paul, 1932-2011, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

© 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