Yazar
Nicolas Peltier
2 cilt bulundu.
Cilt sonuçları
Automated Model Building
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier · Springer
344 sayfa · 2004
Architectural models / Automatic theorem proving / Applied logic series
Automated Reasoning
Nicolas Peltier, Viorica Sofronie-Stokkermans · Springer
Sayfa sayısı yok · 2020
Artificial intelligence / Computer programming / Computer software, development / Logic, symbolic and mathematical