Nieuwenhuis, Robert.
概要
| 作品: | 3 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
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 :)
(書目-語言資料,印刷品)
主題
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.