Yazar
l j m claesen
1 cilt bulundu.
Cilt sonuçları
Higher Order Logic Theorem Proving and Its Applications
L. J. M. Claesen, M. J. C. Gordon · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Kategori yok
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
L. J. M. Claesen, M. J. C. Gordon · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Kategori yok