Details for: Negative non-ground queries in well founded semantics › Catálogo Bibliográfico NOVA FCT catalog

Local cover image

Image from Google Jackets

Normal view MARC view ISBD view

Negative non-ground queries in well founded semantics [[Documento electronico]] / Víctor Pablos Ceruelo

Main Author: Ceruelo, Víctor PablosLanguage: eng.Country: Portugal.Publication: Monte de Caparica : V. P. C., 2009Description: 1 CD-ROM ; 12 cmThesis: Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica computacional.Subject - Topical Name: Lógica computacional , Teses Online Resources:Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Teses e dissertações	Biblioteca NOVA FCT Depósito 1	Não Ficção	QA76.63.CER FCT 74798 (Browse shelf(Opens below))	1	Available		0060380

Browsing Biblioteca NOVA FCT shelves, Shelving location: Depósito 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)

Previous		No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		Next
Previous	QA76.6.ZAC FCT 55588 Introduction to scientific programming, computational problem solving using mathematica and C	QA76.63.BEY FCT 76589 Constraint-based verification of imperative programs	QA76.63.BUE FCT 74808 Constraint-based modeling of minimum set covering, application to species differentation	QA76.63.CER FCT 74798 Negative non-ground queries in well founded semantics	QA76.63.GUA FCT 73538 Multiple sequence alignment correction using constraints	QA76.63.KAF FCT 76984 Modeling assembly program with constraints, A contribution to WCET problem	QA76.63.LOG FCT 25563 Logic programming, proceedings of the eighth international conference on logic programming held in Paris, France, June 24-28, 1991	Next

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica computacional

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer