Yazar
v w marek
6 cilt bulundu.
Cilt sonuçları
Nonmonotonic logic
V. W. Marek · Springer
417 sayfa · 1993
Optoelectronics / Nonmonotonic reasoning / Artificial intelligence / Reasoning
Introduction to mathematics of satisfiability
V. W. Marek · Taylor & Francis
Sayfa sayısı yok · 2009
Propositional calculus / Symbolic and mathematical Logic / Logic, symbolic and mathematical / Calculus / Calcul propositionnel
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
V. W. Marek · Springer
415 sayfa · 1995
Logic programming / Congresses / Nonmonotonic reasoning / Reasoning
Andrzej Mostowski and foundational studies
Andrzej Mostowski, Andrzej Ehrenfeucht, V. W. Marek, Marian Srebrny · Ios Press
447 sayfa · 2008
Mathematicians / Symbolic and mathematical Logic / Foundations / Logicians / Biography