Browsing Facultad de Matemáticas by Author "Darche, Arnaud"
Now showing items 1-1 of 1
-
Final Degree Project
Fundamentos lógicos de la Inteligencia Artificial: razonamiento no monótono
Darche, Arnaud (2019-09)La lógica tradicional resulta muy útil para formalizar razonamientos matemáticos: teoremas, definiciones... en los que se ...