語系
Calmet, Jacques.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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)
(書目-電子資源)
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)
(書目-電子資源)
Mathematical methods in computer scienceessays in memory of Thomas Beth /
by:
(1998 :); Calmet, Jacques.; Geiselmann, Willi.; Muller-Quade, Jorn.; SpringerLink (Online service)
(書目-語言資料,印刷品)
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)
(書目-電子資源)
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.
(書目-電子資源)
主題
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.