1943 – )
5 works on record
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
Logic Programming and Nonmonotonic Reasoning
Nonmonotonic logic