Yazar
italy tableaux 9 1996 terrasini
1 cilt bulundu.
Cilt sonuçları
Theorem proving with analytic tableaux and related methods
TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini, P. Miglioli · Springer
330 sayfa · 1996
Automatic theorem proving / Congresses / Logic, Symbolic and mathematical / Nonclassical mathematical logic / Symbolic and mathematical Logic