Arquivo de Books - Page 3 of 4 - NOVA LINCS NOVA LINCS

Login

Constraint Reasoning for Differential Models

Published in 01/01/2005

Authors

Fuzzy Clustering via Proportional Membership Model

Published in 01/01/2005

Authors

Susana Nascimento,

Programação com Classes em C++

Published in 01/04/2003

Authors

Pedro Guerreiro,

Evolving Knowledge Bases

Published in 01/01/2003

Authors

Constraint Solving over Multi-valued Logics – Application to Digital Circuits

Published in 01/01/2003

Authors

Francisco Azevedo,

Pascal – Técnicas de Programação

Published in 01/04/2002

Authors

Pedro Guerreiro,

Semantics of Logic Programs and Non-monotonic Reasoning

Published in 01/01/2000

Authors

José Júlio Alferes, D. Pearce,

Reasoning with Logic Programming

Published in 01/01/1996

Authors

José Júlio Alferes, Luís Moniz Pereira,

How to Solve it with Prolog

Published in 01/01/1979

Authors

J. C. Cotta, Helder Coelho, Luís Moniz Pereira,

GEOM: a Prolog geometry theorem prover

Published in 01/01/1976

Authors

Helder Coelho, Luís Moniz Pereira,