Yazar
p miglioli
2 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
Theoretical computer science
Bertoni, Alberto, P. Miglioli · World Scientific
412 sayfa · 1989
Congresses / Computer science / Computers, congresses