L'intelligence et le calcul : :: SCD d'Orléans

L'intelligence et le calcul : de Gödel aux ordinateurs quantiques

L'intelligence et le calcul : de Gödel aux ordinateurs quantiques

保存先:

書誌詳細
第一著者:	Delahaye, Jean-Paul, 1952-
フォーマット:	Livre papier
言語:	Français
出版事項:	Paris : Belin : Pour la science DL 2002.
シリーズ:	Bibliothèque scientifique
主題:	Logique informatique Informatique > Mathématiques Intelligence artificielle Informatique quantique
注記:	Autre tirage : 2003
Autres localisations:	Voir dans le Sudoc

類似資料

Fundamentals of artificial intelligence : an advanced course
著者:: Bibel, Wolfgang, 1938-

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

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)

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
著者:: Bläsius, Karl Hans, 1952-

Complexités : aux limites des mathématiques et de l'informatique
著者:: Delahaye, Jean-Paul, 1952-
出版事項: (2006)

Leçons sur l'informatique
著者:: Feynman, Richard Phillips, 1918-1988
出版事項: (2006)

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 19, 1994 : proceedings
著者:: Ras, Zbigniew W., 1947-

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings
著者:: Ras, Zbigniew W., 1947-

Theory reasoning in connection calculi
著者:: Baumgartner, Peter, 1953-

Intelligence artificielle et informatique théorique
著者:: Alliot, Jean-Marc, 1962-, 等
出版事項: (1994)

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

Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings
著者:: Ras, Zbigniew W., 1947-

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

L'intelligence artificielle
著者:: Ganascia, Jean-Gabriel, 1955-
出版事項: (2007)

Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings

Advances in artificial intelligence : SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings

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

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 : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Blockchains, intelligences artificielles, objets connectés, ordinateurs quantiques : quels risques technologiques ?
著者:: Maret, Vincent
出版事項: (2023)

Blockchains, intelligences artificielles, objets connectés, ordinateurs quantiques : quels risques technologiques ?
著者:: Maret, Vincent, 19..-...., expert en cybersécurité
出版事項: (2023)

Computational aspects of an order-sorted logic with term declarations
著者:: Schmidt-Schauß, Manfred

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : proceedings

Tractable reasoning in artificial intelligence
著者:: Cadoli, Marco

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
著者:: Alferes, José Júlio, 1966-

Calculs et algorithmes quantiques : méthodes et exemples
著者:: Mermin, N. David, 1935-...., physicien
出版事項: (2010)

Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
著者:: Jorrand, Philippe, 19..-...., informaticien

AI 2002 : advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 6, 2002 : proceedings

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

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

AI 2003 : advances in artificial intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 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