Søkte etter:

3 treff

Introduction to mathematics of satisfiability
Marek, V.W.
Bok Språk ikke angitt 2009
Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1995
Nonmonotonic logic : context-dependent reasoning
V.W. Marek, M. Truszczyński ; foreword b...
Bok Engelsk 1993