/templates/advanced_search.tmpl: error in processing template: AttributeError: 'title' (falling back to default template)
/templates/advanced_search.tmpl: error in processing template: AttributeError: 'title' (falling back to default template)
/opt/openlibrary/production/openlibrary/plugins/oltemplates/templates/advanced_search.html: error in processing template: AttributeError: 'title' (falling back to default template)
V. W. Marek
![]](/static/images/flourish.gif)
1943 - )
Books by this Author
|
Nonmonotonic logic
by
V. W. Marek
Springer, 1993
|
|
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
by
Ky.) Lpnmr 9 (1995 Lexington, Anil Nerode, V. W. Marek
Springer, June 1995
|
|
Logic Programming and Nonmonotonic Reasoning
by
V. W. Marek
Springer, July 1995
Paperback
|
|
Introduction to mathematics of satisfiability
by
V. W. Marek
Taylor & Francis, 2009
|