Yazar
Annette Bunker
1 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
1 cilt bulundu.
Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan · Springer London, Limited
Sayfa sayısı yok · 2004
Kategori yok