Lanzamientos por Robert Nieuwenhuis

En stock en iMusic Mostrar artículos no disponibles

Cover for Robert Nieuwenhuis · Automated Deduction - CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings - Lecture Notes in Artificial Intelligence (Paperback Book) [2005 edition] (2005)

Automated Deduction - CADE-20: 2... (2005)

Robert Nieuwenhuis

Cover for Robert Nieuwenhuis · Rewriting Techniques and Applications: 14th International Conference, Rta 2003, Valencia, Spain, June 9-11, 2003, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2003)

Rewriting Techniques and Applica... (2003)

Robert Nieuwenhuis