Languages
Calmet, Jacques.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Artificial intelligence and symbolic computation = 12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings /
by:
Calmet, Jacques.; SpringerLink (Online service); Martin-Mateos, Francisco J.; Aranda-Corral, Gonzalo A.
(Electronic resources)
Artificial intelligence and symbolic computation = International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
by:
Calmet, Jacques.; Plaza, Jan.; SpringerLink (Online service); International Conference AISC '98 ((1998 :)
(Language materials, printed)
Artificial intelligence, automated reasoning, and symbolic computation = joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings /
by:
Calmet, Jacques.; SpringerLink (Online service); AISC 2002 ((2002 :); Calculemus 2000 ((2002 :)
(Language materials, printed)
Mathematical methods in computer science = essays in memory of Thomas Beth /
by:
Calmet, Jacques.; Geiselmann, Willi.; Muller-Quade, Jorn.; SpringerLink (Online service); MMICS 2008 ((2008 :)
(Language materials, printed)
Subjects
Computing Methodologies.
Data Structures, Cryptology and Information Theory.
Artificial intelligence
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Computer science- Mathematics
Information Storage and Retrieval.
Coding and Information Theory.
Logic, Symbolic and mathematical- Congresses.
Data Encryption.
Quantum Physics.
Computer Science.
Logic, Symbolic and mathematical
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.