Yazar
h wansing
11 cilt bulundu.
H. Wansing · Springer
317 sayfa · 1996
Congresses / Modality (Logic) / Symbolic and mathematical Logic / Proof theory / Artificial Intelligence (incl. Robotics)
H. Wansing · World Scientific
262 sayfa · 2001
Nonclassical mathematical logic / Negation (Logic) / Tense (Logic) / Logic
H. Wansing · Springer-Verlag
163 sayfa · 1993
Artificial intelligence / Computer science / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
D. Pearce, H. Wansing · Springer
171 sayfa · 1992
Logic programming / Nonclassical mathematical logic / Congresses / Proof theory / Artificial intelligence
David A. Pearce, H. Wansing · Springer
171 sayfa · 1992
Electronic data processing / Congresses / Symbolic and mathematical Logic / Artificial intelligence / Logic, symbolic and mathematical
Dov M. Gabbay, H. Wansing · Kluwer Academic Publishers
333 sayfa · 1999
Negation (Logic) / Logica / Negatie (filosofie) / Negation
H. Wansing · Akademie Verlag
229 sayfa · 1995
Symbolic and mathematical Logic / Data processing / Theory of Knowledge / Philosophy / Reasoning
Adolf Rami, H. Wansing · Mentis
286 sayfa · 2007
Internalism (Theory of knowledge) / Congresses / Analysis (Philosophy) / Semantics (Philosophy) / Externalism (Philosophy of mind)