Languages
Felty, Amy P.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.