Browsing by Subject Programació lògica
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Jun-2016 | Automated theorem proving | Montserrat Armstrong, Miquel |
| 1996 | Fundamentos de demostración automática de teoremas | Martínez Alonso, Juan Carlos |
| 19-Nov-2013 | Logical planning in Temporal Defeasible and Dynamic Epistemic Logics: the case of t-DeLP and LCC | Pardo Ventura, Pere |
| 23-Jan-2015 | Programación lógica | Cardona Taltavull, Jordi Antoni |