Yazar
tphols 98 1998 canberra
1 cilt bulundu.
Cilt sonuçları
Theorem proving in higher order logics
TPHOLs '98 (1998 Canberra, A.C.T.) · Springer
497 sayfa · 1998
Automatic theorem proving / Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Computer science