
|
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
|