Yazar
Juanito Camilleri
2 cilt bulundu.
Cilt sonuçları
Higher order logic theorem proving and its applications
T. F. Melham, Juanito Camilleri · Springer
470 sayfa · 1994
Congresses / Automatic theorem proving / Logic, symbolic and mathematical
Yükleniyor