Details for: Meta-logics and logic programming › Catálogo Bibliográfico NOVA FCT catalog

Image from Google Jackets

Normal view MARC view ISBD view

Meta-logics and logic programming / edited by Krzysztof R. Apt and Franco Turini

Secondary Author: Apt, Krzysztof R., ed. lit.;Turini, Franco, ed. lit.Language: eng.Country: US - United States of America.Publication: Cambridge, US : The MIT Press, cop. 1995Description: XIV, 339 p. : il. ; 24 cmISBN: 0-262-01152-2.Series: Logic programmingSubject - Topical Name: 195 | Lógica matemática

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

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Monografia	Biblioteca NOVA FCT Sala azul/Piso 2	Não Ficção	QA76.63.MET FCT 30531 (Browse shelf(Opens below))	1	Available		0014813

Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala azul/Piso 2, Collection: Não Ficção Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA76.63.MCC FCT 24243 Logic and objects	QA76.63.MCC FCT 25359 Logic and objects	QA76.63.MET FCT 29870 Eta-logics and logic programming	QA76.63.MET FCT 30531 Meta-logics and logic programming	QA76.63.MET FCT 34533 Meta-logics and logic programming	QA76.63.MOR FCT 23624 The logic of induction	QA76.63.NER FCT 25580 Logic for applications	Next

There are no comments on this title.

to post a comment.