1
Automated Deduction - CADE-20 [E-Book] / 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Other Personal Name(s): “...Nieuwenhuis, Robert....”

Full text 
Favorites
Saved in:
2
Rewriting Techniques and Applications [E-Book] : 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings /
Other Personal Name(s): “...Nieuwenhuis, Robert....”

Full text 
Favorites
Saved in:
3
Logic for Programming, Artificial Intelligence, and Reasoning [E-Book] : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings /
Other Personal Name(s): “...Nieuwenhuis, Robert....”

Full text 
Favorites
Saved in: