Yazar
tphols 2000 2000 portland
2 cilt bulundu.
Cilt sonuçları
Theorem proving in higher order logics
TPHOLs 2000 (2000 Portland, Or.) · Springer
533 sayfa · 2000
Congresses / Automatic theorem proving / Computer science / Logic design / Software engineering