Biblioteca do ISEL catalog › Results of search for 'an:33453 #pubdate

Availability
- Limit to currently available items.
Authors
- FLACH, Peter (1)
- GABBAY, Dov M. (1)
- GINSBERG, Matthew L. (1)
- HOGGER, C. J. (1)
- SIEKMANN, J. (1)
- Show more
Locations
- Arquivo Biblioteca (1)
- Biblioteca do ISEL (3)
Series
- Cambridge Tracts in Theoretical Computer Science (1)
- Willey Professional Computing (1)
Topics
- Inteligência artificial (4)
- Lógica matemática (4)
- Lógica simbólica (4)
- Programação lógica (1)
- Raciocínio (2)
- Show more

			Formal methods in artificial intelligence / Allan RamsayPublication: Cambridge : Cambridge University Press, 1991Description: IX, 279 p. : il.Availability: Items available for loan: [RAM. 004.8] (1). Place hold Add to cart (remove)
			No cover image available Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. SiekmannPublication: Oxford : Clarendon, 1996Description: [pag.var] : il.Availability: Items available for loan: [GAB. 004.8] (5). Place hold Add to cart (remove)
			Simply logical : intelligent reasoning by example / Peter FlachPublication: Chichester : John Wiley & Sons, 1994Description: XV, 240 p. : il.Availability: Items available for loan: [FLA. 004.8] (1). Place hold Add to cart (remove)

Biblioteca do ISEL