LISP and symbolic computation. :: SCD d'Orléans

LISP and symbolic computation.

LISP and symbolic computation.

保存先:

書誌詳細
新着資料:	Higher-order and symbolic computation (Online)
フォーマット:	Revue numérique
言語:	Anglais
出版事項:	Dordrecht : Kluwer [199.]-1998.
主題:	Informatique Intelligence artificielle Périodiques
オンライン･アクセス:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme ISTEX (corpus Springer) Accès Université d'Orléans Accès INSA CVL
注記:	Titre provenant de l'écran-titre Articles mis en ligne par SpringerLink Archives Springer périodiques (Licence nationale) Archives Springer périodiques (Licence nationale) Type of computer file: Articles en texte intégral au format html ou pdf
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1988) - (1998)180339901, (1988) - (1998)
Edition sous un autre format:	• LISP and symbolic computation, 0892-4635

類似資料

Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4 8, 1988 : proceedings

Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers

Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers

Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15 17, 1993 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '92 Bath, U.K., April 13 15, 1992 : proceedings

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Intelligence artificielle en LISP et Prolog
著者:: Kabbaj, Adil, 19..-...., enseignant en informatique
出版事項: (1991)

Design and implementation of symbolic computation systems : International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990 : proceedings

Journal of symbolic computation.

Computer speech & language.
出版事項: (1986)

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Morphology and computation
著者:: Sproat, Richard William
出版事項: (1992)

Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings

The thinking computer : mind inside matter
著者:: Raphael, Bertram, 1936-
出版事項: (1976)

Connectionist, statistical, and symbolic approaches to learning for natural language processing
著者:: Wermter, Stefan, 1961-

Neuro-symbolic artificial intelligence : the state of the art
著者:: Hitzler, Pascal, 19..-...., informaticien
出版事項: (2022)

Natural language at the computer : Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 : proceedings

Knowledge based computer systems : International Conference KBCS '89, Bombay, India, December 11-13, 1989 : proceedings
著者:: Ramani, Srinivasan, 1939-

Foundations of computer science : potential - theory - cognition
著者:: Freksa, Christian, 1950-2020

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

Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8 10, 1993 : proceedings

Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3 5, 1995 : proceedings
著者:: Froidevaux, Christine, 19..-

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 : 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 : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

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

Symbolic and quantitative approaches to reasoning with uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003 : proceedings

Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 21, 2001 : 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 : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : 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

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

© 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