Data/hora: 03/06/2024 06:45:19

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 07/05/1997
Data da última atualização: | 23/01/2008
Autoria: | KOWALSKI, R.
Título: | Logic for problem solving.
Ano de publicação: | 1987
Fonte/Imprenta: | New York: North-Holland, 1987.
Páginas: | 287p.
Série: | (Artificial Intelligence Series, 7; The Computer Science Library).
ISBN: | 0-444-00368-1
Idioma: | Inglês
Conteúdo: | Representation in clausal form; Top-down and bottom-up horn clause proof procedures; Horn clause problem-solving; The procedural interpretation of horn clauses; Plan-formation and the frame problem; Negative goals and assertions; The connection graph proof procedure; Global problem-solving strategies; Comparison of clausal form with standard form; If-and-only-if; Formalisation of provability; Logic, change and contradiction; references; Index.
Palavras-Chave: | Programação lógica.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (5036-1) - ADD - LV - -- - 005.115 - KOW - 1987.00044 - DIS