Yazar
Ruben Gamboa
3 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving
Gerwin Klein, Ruben Gamboa · Springer International Publishing AG
555 sayfa · 2014
Automatic theorem proving / Logic, symbolic and mathematical / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science