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