Robert Nieuwenhuis

Robert Nieuwenhuis

3 books in the database

Books

Rewriting Techniques and ApplicationsRobert Nieuwenhuis

Rewriting Techniques and Applications

Robert Nieuwenhuis · 2003

Automated Deduction CADE-20Robert Nieuwenhuis

Automated Deduction CADE-20

Robert Nieuwenhuis · 2005

Automated DeductionRobert Nieuwenhuis

Automated Deduction

Robert Nieuwenhuis · 2008