La gratuité ne vaut plus rien : :: SCD d'Orléans

$La gratuité ne vaut plus rien : et autres chroniques mathématiques$

La gratuité ne vaut plus rien : et autres chroniques mathématiques

Guardat en:

Dades bibliogràfiques
Autor principal:	Guedj, Denis, 1940-2010
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : Éd. du Seuil DL 1997, cop. 1997
Col·lecció:	Science ouverte
Matèries:	Mathématiques > Aspect symbolique Langage et logique
Autres localisations:	Voir dans le Sudoc

Ítems similars

Grammar and L forms : an introduction
per: Wood, Derick, 1940-

Tractatus Logico-Philosophicus : Centenary edition
per: Wittgenstein, Ludwig, 1889-1951
Publicat: (2021)

Penser la logique : une introduction technique et théorique à la philosophie de la logique et du langage
per: Hottois, Gilbert, 1946-2019
Publicat: (2002)

Epistémologie mathématique et psychologie : essai sur les relations entre la logique formelle et la pensée réelle
per: Beth, Evert Willem, 1908-1964, et al.
Publicat: (1961)

Écrits logiques et philosophiques
per: Frege, Gottlob, 1848-1925
Publicat: (1971)

Programming languages and their definition
per: Bekič, Hans, 1936-1982

Logic : a brief course
per: Mundici, Daniele, 1946-

Circles disturbed : the interplay of mathematics and narrative
Publicat: (2012)

Logique(s), langages formels et complexité pour l'informatique
per: Jussien, Narendra, 1973-
Publicat: (2006)

Foundations of equational logic programming
per: Hölldobler, Steffen, 1957-

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

Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI 97 Workshop, Aix-en-Provence, France, August 11 22, 1997 : revised lectures

Negation and control in Prolog
per: Naish, Lee

Intelligence artificielle et informatique théorique
per: Alliot, Jean-Marc, 1962-, et al.
Publicat: (2002)

Le mot et la chose
per: Quine, Willard Van Orman, 1908-2000, philosophe
Publicat: (1978)

A connotational theory of program structure
per: Royer, James S., 1952-

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

Tractatus logico-philosophicus
per: Wittgenstein, Ludwig, 1889-1951
Publicat: (2001)

A mathematical introduction to logic
per: Enderton, Herbert, 1936-2010
Publicat: (1972)

Introduction à la logique
per: Delessert, André, 1923-2010
Publicat: (1988)

The generic development language Deva : presentation and case studies
per: Weber, Matthias, et al.

New trends in formal languages : control, cooperation, and combinatorics
per: Păun, Gheorghe, 1950-

Developments in language theory : 7th international conference, DLT 2003, Szeged, Hungary, July 7-11, 2003 : proceedings

Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16 21, 2001 : revised papers

Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
per: Brookes, Stephen

Logic, language, and computation : festschrift in honor of Satoru Takasu
per: Jones, Neil D., 1941-

Developments in language theory : 6th international conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

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

Category theory and computer science : Paris, France, September 3-6, 1991, proceedings

Éléments de mathématiques modernes
per: Richardson, Moses, 1911-1968
Publicat: (1968)

Logique. Méthodes pour l'intelligence artificielle
per: Gochet, Paul, 1932-2011, et al.
Publicat: (2000)

Reasoning with logic programming
per: Alferes, José Júlio, 1966-, et al.

Logical aspects of computational linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997 : selected papers

Learning language in logic
per: Cussens, James, 1965-

Logical aspects of computational linguistics : third international conference, LACL '98, Grenoble, France, December 14-16, 1998 : selected papers

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

Logical aspects of computational linguistics : first international conference, LACL '96, Nancy, France, April 1996 : selected papers

Cryptarismes, graphes et autres énigmes mathématiques
per: Berna, Henri
Publicat: (2000)

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1971)

© 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