Your search returned 6 results.

Results
		No cover image available Explorations in revised stable models - a new semantics for logic programs / Alexandre Miguel dos Santos Martins PintoPublication: Lisboa : A. M. S. M. P., 2005Description: XIV, 117 p. ; 30 cm + 1 CD-ROMAvailability: Items available for loan: Call number: Q335.PIN FCT 65327 (1). Place hold
		No cover image available Explorations in revised stable models - a new semantics for logic programs [Documento electrónico] / Alexandre Miguel dos Santos Martins PintoPublication: Lisboa : A. M. S. M. P., 2005Description: 1 CD-ROM ; 12 cmAvailability: Items available for loan: Call number: Q335.PIN FCT 65326 (1). Place hold
		No cover image available Every normal logic program has a 2-valued semantics : theory, extensions, applications, implementations / Alexandre Miguel dos Santos Martins PintoPublication: Monte de Caparica : A. M. S. M. P., 2011Description: XIV, 194 p. ; 30 cm + 1 CD-ROMAvailability: Place hold
		No cover image available Every normal logic program has a 2-valued semantics [[Documento electrónico]] : theory, extensions, applications, implementations / Alexandre Miguel dos Santos Martins PintoPublication: Monte de Caparica : A. M. S. M. P., 2011Description: 1 CD-ROM ; 12 cmAvailability: Place hold
		No cover image available Utilização do processador Cell para o processamento de dados obtidos por tomografia aplicada a materiais compósitos / Pedro Emanuel Pinto de PaivaPublication: Monte de Caparica : A. M. S. M. P., 2011Description: XVIII, 98 p. : il. ; 30 cm + 1 CD-ROMAvailability: Place hold
		No cover image available Utilização do processador Cell para o processamento de dados obtidos por tomografia aplicada a materiais compósitos [Documento electrónico] / Pedro Emanuel Pinto de PaivaPublication: Monte de Caparica : A. M. S. M. P., 2011Description: 1 CD-ROM ; 12 cmAvailability: Place hold