Languages
Middeldorp, Aart.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(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]
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.
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.