Yazar
Ricardo Caferra
6 cilt bulundu.
Cilt sonuçları
Automated Model Building
Ricardo Caferra · Springer
360 sayfa · 2010
Automatic theorem proving / Logic, symbolic and mathematical / Logic / Philosophy / Philosophy (General)
Automated deduction in classical and non-classical logics
Ricardo Caferra · Springer
299 sayfa · 2000
Symbolic and mathematical Logic / Automatic theorem proving / Logic / Artificial intelligence
Automated Model Building
Ricardo Caferra, Alexander Leitsch, Nicolas Peltier · Springer
344 sayfa · 2004
Architectural models / Automatic theorem proving / Applied logic series
Logic for Computer Science and Artificial Intelligence
Ricardo Caferra · Wiley & Sons, Incorporated, John
523 sayfa · 2011
Artificial intelligence / Logic, symbolic and mathematical