Your search returned 4 results. Subscribe to this search

|
The application of logic programming to data bases / José Carlos Ferreira Maia Neves Monografia Publication [Edinburgh] : Heriot-Watt University, 1983 Description 260 f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (1).

A logic interpreter to handle time and negation in logic data bases / José Carlos Ferreira Maia Neves Monografia LocationBiblioteca de Reservados Availability Reference (1).

Programa da disciplina de bases de conhecimento / José Carlos Ferreira Maia Neves Monografia Publication Braga : Unidade Pedagogica de Engenharia - Universidade do Minho, 1989 Description 21 f., [4] f. ; 30 cm LocationBiblioteca de Reservados Availability Reference (2).

The specification and prototyping of communication protocols : from heterogeneous temporal logic to concurrent prolog / Alexandre Julio Teixeira dos Santos, Vasco Luís Barbosa Freitas, José carlos Ferreira Maia Neves Monografia LocationBiblioteca de Reservados Availability Reference (1).