V. W. Marek
1943 — ) · 6 obras en el catálogo
Obras

Introduction to mathematics of satisfiability

Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995

Andrzej Mostowski and foundational studies
Introduction to mathematics of satisfiability

Logic Programming and Nonmonotonic Reasoning
