語系
Calmet, Jacques.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.