語系
Aranda-Corral, Gonzalo A.
概要
| 作品: | 0 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Artificial intelligence and symbolic computation = 12th international conference, AISC 2014, Seville, Spain, December 11-13, 2014 : proceedings /
by:
Aranda-Corral, Gonzalo A.; Calmet, Jacques.; Martin-Mateos, Francisco J.; SpringerLink (Online service)
(書目-電子資源)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Information Storage and Retrieval.
Logic, Symbolic and mathematical
Computer Science.
Math Applications in Computer Science.
Symbolic and Algebraic Manipulation.