V. W. Marek profile picture

V. W. Marek

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Introduction to mathematics of satisfiability
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science)