 |
Browse our site
Browse member's work
|
BooksPublished books- José Júlio Alferes and Luís Moniz Pereira, Reasoning with Logic Programming of LNAI 1111, Springer, Berlin, (url), 1996.
- J. C. Cotta, Hélder Coelho and Luís Moniz Pereira, How to Solve it with Prolog, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1979.
- Hélder Coelho and Luís Moniz Pereira, GEOM: a Prolog geometry theorem prover of Memória 525, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1976.
- Luís Moniz Pereira, Layout schemes from adjacency graphs of PhD thesis, Laboratório Nacional de Engenharia Civil (LNEC), Lisbon, 1974.
Book editions
- Luís Moniz Pereira and Gregory Wheeler (eds), Special issue from the Fourth Intl. Workshop on Computational Models of Scientific Reasoning and Applications of Journal of Applied Logic, Elsevier, Nederlands, (url), October 2007.
|
CENTRIA member
|
