Nieuwenhuis, Robert.
概要
| 作品: | 10 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Automated Deduction - CADE-2020th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service)
(書目-電子資源)
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.
(書目-電子資源)
Rewriting techniques and applications14th international conference, RTA 2003, Valencia, Spain, June 2003 : proceedings /
by:
(1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service)
(書目-電子資源)
主題
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.