Robert Nieuwenhuis - Böcker

Visar alla böcker från författaren Robert Nieuwenhuis.
3 produkter
Robert Nieuwenhuis - Automated Deduction – CADE-20, Häftad

Automated Deduction – CADE-20

Av Robert Nieuwenhuis

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Robert Nieuwenhuis - Rewriting Techniques and Applications, Häftad
Del 2706 - Lecture Notes in Computer Science

Rewriting Techniques and Applications

Av Robert Nieuwenhuis

Häftad, Engelska, 2003

739 kr

Skickas inom 7-10 vardagar
Robert Nieuwenhuis, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Logic for Programming, Artificial Intelligence, and Reasoning

Av Robert Nieuwenhuis, Andrei Voronkov

Häftad, Engelska, 2001

1 459 kr

Skickas inom 7-10 vardagar