Catálogo Bibliográfico FCT/UNL

Catálogo bibliográfico FCT/UNL

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
First-order modal logic / Melvin Fitting and Richard L. MendelsohnPublication: Dordrecht, NL, Boston, London : Kluwer Academic Publishers, cop. 1998Description: XII, 287 p. ; 25 cmAvailability: Items available for loan: [BC199.FIT FCT 46315] (1).

Place hold
First-order logic and automated theorem proving / Melvin FittingPublication: Bronx, US : Springer-Verlag, cop. 1996Description: XVI, 326 p. : il. ; 25 cmAvailability: Items available for loan: [QA76.9.FIT FCT 30595] (1).

Place hold
First-order logic and automated theorem proving / Melvin FittingPublication: New York : Springer-Verlag, cop. 1996Description: XVI, 326 p. : il. ; 25 cmAvailability: Items available for loan: [QA76.9.FIT FCT 36263] (1).

Place hold
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca