V. W. Marek
1943–)
3 books in the database
Books
V. W. Marek
Introduction to mathematics of satisfiability
V. W. Marek · 2009
V. W. Marek
Logic Programming and Nonmonotonic Reasoning
V. W. Marek · 1995
V. W. Marek
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
V. W. Marek · 1995
Co-authored books and collections
Books that list V. W. Marek among their authors but not as the lead author: co-written works, collections and compilations.
