Yazar
Olga Caprotti
1 cilt bulundu.
Cilt sonuçları
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge · Springer London, Limited
Sayfa sayısı yok · 2006
Artificial intelligence / Logic, symbolic and mathematical / Automatic theorem proving