Yazar
Brigitte Pientka
1 cilt bulundu.
Cilt sonuçları
Automated Deduction - CADE 29
Brigitte Pientka, Cesare Tinelli · Springer
Sayfa sayısı yok · 2023
Logic, symbolic and mathematical / Computer programming / Computer software, development / Artificial intelligence