Yazar
viorica sofronie stokkermans
3 cilt bulundu.
Cilt sonuçları
Automated Reasoning
Nicolas Peltier, Viorica Sofronie-Stokkermans · Springer
Sayfa sayısı yok · 2020
Artificial intelligence / Computer programming / Computer software, development / Logic, symbolic and mathematical