Yazar
Kurt Gottlob
3 cilt bulundu.
Cilt sonuçları
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob, Alexander Leitsch · Springer-Verlag
354 sayfa · 1993
Automatic theorem proving / Congresses / Symbolic and mathematical Logic