Автор: Robert Nieuwenhuis

Підтримка

3 Електронні книги від Robert Nieuwenhuis

Обкладинка Robert Nieuwenhuis: Automated Deduction - CADE-20
Robert Nieuwenhuis: Automated Deduction – CADE-20
…
PDF
Англійська
DRM
€57.96
Обкладинка Robert Nieuwenhuis: Rewriting Techniques and Applications
Robert Nieuwenhuis: Rewriting Techniques and Applications
…
PDF
Англійська
DRM
€57.91
Обкладинка Robert Nieuwenhuis & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
Robert Nieuwenhuis & Andrei Voronkov: Logic for Programming, Artificial Intelligence, and Reasoning
This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the Univers …
PDF
Англійська
DRM
€115.29