Browsing by Subject Logic programming
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| 27-Jun-2016 | Automated theorem proving | Montserrat Armstrong, Miquel |
| 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 |