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
Book
Book
Book