Yazar
Konrad Slind
2 cilt bulundu.
Cilt sonuçları
Theorem Proving in Higher Order Logics
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan · Springer London, Limited
Sayfa sayısı yok · 2004
Kategori yok
Yükleniyor
Yükleniyor
Yazar
2 cilt bulundu.
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan · Springer London, Limited
Sayfa sayısı yok · 2004
Kategori yok