BOOKS
- Model-based Spreadsheet Engineering: Using Relational Models to Improve Spreadsheets
- 1 Jan 2012
- Jácome Cunha
- Constraint Solving over Multi-valued Logics - Application to Digital Circuits
- 1 Jan 2003
- Francisco Azevedo
- Semantics of Logic Programs and Non-monotonic Reasoning
- 1 Jan 2000
- José Júlio Alferes, D. Pearce
- Reasoning with Logic Programming
- 1 Jan 1996
- José Júlio Alferes, https://userweb.fct.unl.pt//~lmp/
- How to Solve it with Prolog
- 1 Jan 1979
- J. C. Cotta, Helder Coelho, https://userweb.fct.unl.pt//~lmp/
- GEOM: a Prolog geometry theorem prover
- 1 Jan 1976
- Helder Coelho, https://userweb.fct.unl.pt//~lmp/
Book
Book
Book
Book
Book
Book