Yazar
flavio l c de moura
1 cilt bulundu.
Cilt sonuçları
Applied Logic for Computer Scientists
Mauricio Ayala-Rincon, Flavio L. C. de Moura · Springer International Publishing AG
Sayfa sayısı yok · 2017
Logic, symbolic and mathematical
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Mauricio Ayala-Rincon, Flavio L. C. de Moura · Springer International Publishing AG
Sayfa sayısı yok · 2017
Logic, symbolic and mathematical