Informatique céleste :: SCD d'Orléans

Informatique céleste

Informatique céleste

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Alizart, Mark, 1975-
বিন্যাস:	Livre papier
ভাষা:	Français
প্রকাশিত:	Paris : Presses universitaires de France DL 2017.
মালা:	Perspectives critiques
বিষয়গুলি:	Logique > Philosophie Informatique > Religion Informatique > Philosophie
টীকা:	Autre tirage : 2018
Autres localisations:	Voir dans le Sudoc

অনুরূপ উপাদানগুলি

La pensée informatique
অনুযায়ী: Berry, Gérard, 1948-...., informaticien
প্রকাশিত: (2019)

Leçons sur l'informatique
অনুযায়ী: Feynman, Richard Phillips, 1918-1988
প্রকাশিত: (2006)

La révolution informatique
প্রকাশিত: (2015)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
অনুযায়ী: Loveland, Donald W., অন্যান্য
প্রকাশিত: (2014)

Informatique mathématique : une photographie en 2022
অনুযায়ী: Bournez, Olivier, অন্যান্য
প্রকাশিত: (2022)

Culture et paradigme informatique : lectures critiques de La Machine Univers de Pierre Lévy
প্রকাশিত: (2018)

Computation for metaphors, analogy, and agents
অনুযায়ী: Nehaniv, Chrystopher L., 1963-

Qu'est-ce que l'informatique ?
অনুযায়ী: Varenne, Franck, 1970-...., enseignant-chercheur en philosophie des sciences
প্রকাশিত: (2009)

Logique(s), langages formels et complexité pour l'informatique
অনুযায়ী: Jussien, Narendra, 1973-
প্রকাশিত: (2006)

Intelligence artificielle et informatique théorique
অনুযায়ী: Alliot, Jean-Marc, 1962-, অন্যান্য
প্রকাশিত: (1994)

Logique pour l'informatique
অনুযায়ী: Jaume, Mathieu, 1968-2023, অন্যান্য
প্রকাশিত: (2020)

Logique pour l'informatique
অনুযায়ী: Jaume, Mathieu, 1968-2023, অন্যান্য
প্রকাশিত: (2020)

Informatique pour les sciences de l'homme : limites de la formalisation du raisonnement
অনুযায়ী: Borillo, Mario, 1934-2013
প্রকাশিত: (1984)

Information, complexité et hasard
অনুযায়ী: Delahaye, Jean-Paul, 1952-
প্রকাশিত: (1994)

Logique pour l'informatique : introduction à la déduction automatique : cours et exercices, licence d'informatique
অনুযায়ী: Cerrito, Serenella
প্রকাশিত: (2008)

Méthodologies informatiques et nouveaux horizons dans les recherches médiévales : actes du Colloque international de Saint-Paul-de-Vence, 3-5 septembre 1990
প্রকাশিত: (1992)

Logique pour l'informatique et pour l'intelligence artificielle
অনুযায়ী: Caferra, Ricardo, 1945-...., auteur en informatique
প্রকাশিত: (2011)

Logique pour l'informatique et pour l'intelligence artificielle
অনুযায়ী: Caferra, Ricardo, 1945-...., auteur en informatique
প্রকাশিত: (2010)

Le miroir automate : introduction à une philosophie de l'informatique
অনুযায়ী: Chazal, Gérard, 1947-
প্রকাশিত: (1995)

Part-whole reasoning in an object-centered framework
অনুযায়ী: Lambrix, Patrick, 19..-

Informatique : MP2I-MPI : tout-en-un
অনুযায়ী: Becker, Florent, 1987-, অন্যান্য
প্রকাশিত: (2024)

Algorithmic learning theory : 4th International Workshop on Analogical and Inductive Inference, AII '94 [and] 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany October 10-15, 1994 : proceedings
অনুযায়ী: Arikawa, Setsuo, 1941-

Logique et automates : option informatique en MPSI, MP et MP* : premier et deuxième cycles universitaires : écoles d'ingénieurs
অনুযায়ী: Bellot, Patrick, 1968-, অন্যান্য
প্রকাশিত: (1998)

Computation theory and logic
অনুযায়ী: Börger, Egon, 1946-

Informatique et asservissement
অনুযায়ী: Gondran, Michel
প্রকাশিত: (1989)

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

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

Homo informatix
অনুযায়ী: De Brabandere, Luc, 1948-
প্রকাশিত: (2017)

Analogical and inductive inference : [2nd] International Workshop All '89, Reinhardsbrunn Castle, GDR, October 1-6, 1989 : proceedings

L'intelligence et le calcul : de Gödel aux ordinateurs quantiques
অনুযায়ী: Delahaye, Jean-Paul, 1952-
প্রকাশিত: (2002)

Automata, logics, and infinite games
অনুযায়ী: Grädel, Erich, 1958-

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : 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 : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

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

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

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

© 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