語系
Felty, Amy P.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
Middeldorp, Aart.; Workshop on the Preservation of Stability under Discretization ((2001 :); Felty, Amy P.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Automated Deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
by:
Felty, Amy P.; SpringerLink (Online service); Middeldorp, Aart.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Image Processing and Computer Vision.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence.
Artificial intelligence.
Automatic theorem proving
Pattern recognition.
Logic, Symbolic and mathematical
Optical data processing.
Computers.
Information Systems Applications (incl. Internet).
Computer Science.
Pattern Recognition.
Information Systems Applications (incl. Internet)
Algorithms.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Application software.