Yazar
amy p felty
1 cilt bulundu.
Cilt sonuçları
Automated Deduction - CADE-25
Amy P. Felty, Aart Middeldorp · Springer
668 sayfa · 2015
Logic, symbolic and mathematical / Automatic theorem proving
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Amy P. Felty, Aart Middeldorp · Springer
668 sayfa · 2015
Logic, symbolic and mathematical / Automatic theorem proving