Yazar
cesar a munoz
3 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving
Mauricio Ayala-Rincón, César A. Muñoz · Springer
551 sayfa · 2017
Computer science / Software engineering / Programming languages (electronic computers) / Logic, symbolic and mathematical / Artificial intelligence
HCI for Children with Disabilities
Josefina Guerrero-Garcia, Juan Manuel González-Calleros, Jaime Muñoz-Arteaga, César A. Collazos · Springer
148 sayfa · 2017
Human-computer interaction / Computers and children / Computers and people with disabilities
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok