Yazar
Geguang Pu
1 cilt bulundu.
Cilt sonuçları
Automated Technology for Verification and Analysis
Bernd Finkbeiner, Geguang Pu, Lijun Zhang · Springer London, Limited
520 sayfa · 2015
Automatic theorem proving
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Bernd Finkbeiner, Geguang Pu, Lijun Zhang · Springer London, Limited
520 sayfa · 2015
Automatic theorem proving