Nieuwenhuis, Robert.
Overview
| Works: | 10 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Automated Deduction - CADE-2020th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service)
(Electronic resources)
Logic for programming, artificial intelligence, and reasoning8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service); Voronkov, Andrei.
(Electronic resources)
Rewriting techniques and applications14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Rewriting systems (Computer science)
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Algorithms
Logic programming
Computer programming
Logic, Symbolic and mathematical
Computer Science.