Yazar
claudia nalon
1 cilt bulundu.
Cilt sonuçları
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon · Springer
393 sayfa · 2017
Automatic theorem proving / Artificial intelligence / Logic
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Renate A. Schmidt, Cláudia Nalon · Springer
393 sayfa · 2017
Automatic theorem proving / Artificial intelligence / Logic