BOOKS

Book
Model-based Spreadsheet Engineering: Using Relational Models to Improve Spreadsheets
1 Jan 2012
Authors: Jácome Cunha
Book
Fuzzy Clustering via Proportional Membership Model
1 Jan 2005
Authors: Susana Nascimento
Book
Constraint Reasoning for Differential Models
1 Jan 2005
Authors: Jorge Cruz
Book
Constraint Solving over Multi-valued Logics - Application to Digital Circuits
1 Jan 2003
Authors: Francisco Azevedo
Book
Evolving Knowledge Bases
1 Jan 2003
Authors: João Leite
Book
Semantics of Logic Programs and Non-monotonic Reasoning
1 Jan 2000
Authors: José Júlio Alferes, D. Pearce
Book
Reasoning with Logic Programming
1 Jan 1996
Authors: José Júlio Alferes, https://userweb.fct.unl.pt//~lmp/
Book
How to Solve it with Prolog
1 Jan 1979
Authors: J. C. Cotta, Helder Coelho, https://userweb.fct.unl.pt//~lmp/
Book
GEOM: a Prolog geometry theorem prover
1 Jan 1976
Authors: Helder Coelho, https://userweb.fct.unl.pt//~lmp/
Book
Layout schemes from adjacency graphs
1 Jan 1974
Authors: https://userweb.fct.unl.pt//~lmp/