Your search returned 42 results.

Results
		Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von WrightPublication: New York [etc.] : Springer, cop. 1998Description: XV, 519 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA76.6.BAC FCT 38334 (1). Place hold
		Logics for databases and information systems / ed. by Jan Chomicki, Gunter SaakePublication: Boston : Kluwer Academic Publishers, cop. 1998Description: XIII, 430 p. ; 24 cmAvailability: Items available for loan: Call number: QA76.9.LOG FCT 37356 (1). Place hold
		Logic-based artificial intelligence / edited by Jack MinkerPublication: Boston : Kluwer Academic Publishers, cop. 2000Description: XXIII, 606 p. ; 24 cmAvailability: Items available for loan: Call number: QA76.9.LOG FCT 55256 (1). Place hold
		No cover image available Computational logic. The newsletter of the european network In computational logicPublication: London : European Network In Computational Logic, [1994]Description: : il. ; 25 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA75C125 (1). :
		Handbook of satisfiability / edited by Armin Biere ... [et al.]Publication: Amsterdam [etc.] : IOS Press, cop. 2009Description: 966 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA9.HAN FCT 72990 (1). Place hold
		Temporal logic of programs / Fred KrogerPublication: Berlin : Springer-Verlag, cop. 1987Description: VIII, 148 p. : il. ; 25 cmAvailability: Items available for loan: Call number: CIUL-948 FCT 84779 (1). Place hold
		Logical structures for representation of knowledge and uncertainty / Ellen HisdalPublication: Heidelberg, DE : New York : Physica-Verlag, cop. 1998Description: XXII, 419 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.9.HIS FCT 46852 (1). Place hold
		Logical foundations for cognitive agents : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri, ed. lit.Publication: Berlin [etc.] : Springer, cop. 1999Description: XI, 405 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.9.LOG FCT 46853 (1). Place hold
		Introduction to circuit complexity : a uniform approach / Heribert VollmerPublication: Berlin [etc.] : Springer, cop. 1999Description: 270 p. ; 24 cmAvailability: Items available for loan: Call number: TK7888.4.VOL FCT 47244 (1). Place hold
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark RyanPublication: Cambridge, UK : Cambridge University Press, cop. 2000Description: XVII, 387 p. ; 25 cmAvailability: Items available for loan: Call number: QA76.9.HUT FCT 48786 (1). Place hold
		Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark RyanPublication: Cambridge, UK : Cambridge University Press, cop. 2004Description: XIV, 427 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA76.9.HUT FCT 65474 (1). Place hold
		No cover image available Desenvolvimento de protótipo para diagnóstico do Síndrome do Túnel Cárpico / Nuno Miguel Videira PintoPublication: Monte de Caparica : N. M. V. P., 2008Description: pag. variada : il. ; 30 cm + 1 CD-ROMAvailability: Place hold
		No cover image available Desenvolvimento de protótipo para diagnóstico do Síndrome do Túnel Cárpico / Nuno Miguel Videira PintoPublication: Monte de Caparica : N. M. V. P., 2008Description: pag. variada : il. ; 30 cm + 1 CD-ROMAvailability: Place hold
		No cover image available Desenvolvimento de protótipo para diagnóstico do Síndrome do Túnel Cárpico [Documento eletrónico] / Nuno Miguel Videira PintoPublication: Monte de Caparica : N. M. V. P., 2008Description: 1 CD-ROM ; 12 cmAvailability: Place hold
		No cover image available ACM transactions on computational logicPublication: New York : Association for Computing Machinery, 2000-07-14Description: : il. ; 26 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA75A43 (1). :
		Logic programming : vol.2 / edited by Robert A. Kowalski and Kenneth A. BowenPublication: Cambridge, Mass. : The MIT press, cop. 1988Description: XV, (859-1690) : il. ; 23 cmAvailability: Items available for loan: Call number: CIUL-1000 FCT 84827 (1). Place hold
		The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John EtchemendyPublication: Stanford, US : CSLI, cop. 1992Description: XIV, 319 p. ; 24 cm + 1 disqueteAvailability: Items available for loan: Call number: BC128.BAR FCT 34543 (1). Place hold
		The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John EtchemendyPublication: Stanford, US : CSLI, cop. 1992Description: XIV, 319 p. ; 24 cm + 1 disqueteAvailability: Items available for loan: Call number: BC128.BAR FCT 48064 (1). Place hold
		The language of first-order logic : including the Microsoft Windows program Tarski's world 4.0 for use with IBM-compatible computers / Jon Barwise, John EtchemendyPublication: Stanford, US : CSLI, cop. 1992Description: XIV, 319 p. ; 24 cm + 1 disqueteAvailability: Items available for loan: Call number: BC128.BAR FCT 48063 (1). Place hold

1
2
3
Next
Last