Logic for problem solving /

Detalles Bibliográficos
Autor principal: Kowalski, Robert (Autor, Autor/a)
Formato: Libro
Lenguaje:English
Publicado: New York, New York : North Holland, c1979.
Colección:Artificial intelligence series ; 7)
Materias:
LEADER 00825nam a2200241 u 4500
001 000297972
005 20110720143301.0
008 c1979 s1979 xxu ||||| eng
035 |a 132312 
040 |a Sistema de Bibliotecas de la Universidad de Costa Rica 
041 0 |a eng 
082 0 |a 519.2  |b K88L  |2 00 
100 1 |a Kowalski, Robert  |e Autor/a  |4 aut 
245 1 0 |a Logic for problem solving /  |c Robert Kowalski. 
260 |a New York, New York :  |b North Holland,  |c c1979. 
300 |a 287 páginas :  |b ilustraciones ;  |c 24 cm.-- 
490 0 |a Artificial intelligence series ;  |v 7) 
500 |a Reimpresiones: 1982. 
650 |a LOGICA, SIMBOLICA Y MATEMATICA 
650 |a PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES) 
650 |a PROBABILIDADES  |x PROCESAMIENTO DE DATOS 
949 |a -GA AP. 
916 |a Registros del LS-2000