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