Biblioteca do ISEL

Your search returned 7 results. Subscribe to this search

|
Programming in prolog : using the ISO standard / William F. Clocksin, Christopher S. MellishPublication: Berlin : Springer-Verlag, 2003Description: XIV, 299 p. : il.Availability: Items available for loan: [CLO. 004.43Prolog] (1). Items available for reference: [CLO. 004.43Prolog] (1).

The craft of prolog / Richard A. O'KeefePublication: Cambridge : The MIT Press, 1994Description: XIX, 387 p. : il.Availability: Items available for loan: [OKE. 004.43Prolog] (1).

Rule-based programming / Thaddeus J. Kowalski, Leon S. LevyPublication: Boston : Kluwer, 1996Description: XVI, 305 p. : il.Availability: Items available for loan: [KOW. 004.8] (2). Items available for reference: [KOW. 004.8] (1).

Artificial intelligence : an engineering approach / Robert J. SchalkoffPublication: New York : McGraw-Hill Publishing Company, 1990Description: XXIV, 646 p. : il. ; 24 cmAvailability: Items available for loan: [SCH. 681.5(007)] (1). Items available for reference: [SCH. 681.5(007)] (1).

Prolog : the standard ; reference manual / P. Deransart, A. Ed-Dbali, L. Cervoni ; forew. C. Biro ; pref. R. S. ScowenPublication: Berlin : Springer, 1996Description: XIV, 272 p. : il.Availability: Items available for loan: [DER. 004.43Prolog] (1).

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).

Informática-ISEL