語系
Middeldorp, Aart.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated deduction - CADE-25 = 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Middeldorp, Aart.; 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]
Logic for programming, artificial intelligence, and reasoning = 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Middeldorp, Aart.; SpringerLink (Online service); McMillan, Ken.; Voronkov, Andrei.
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
Middeldorp, Aart.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Image Processing and Computer Vision.
Algorithm Analysis and Problem Complexity.
Artificial intelligence.
Automatic theorem proving
Pattern recognition.
Lambda calculus.
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Information Systems Applications (incl. Internet)
Logic programming
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Application software.
Rewriting systems (Computer science)
Artificial Intelligence.
Logic, Symbolic and mathematical
Machine theory.
Optical data processing.
Computers.
Pattern Recognition.
Programming Languages, Compilers, Interpreters.
Computation by Abstract Devices.