TY - BOOK AU - Thayse,André AU - Gochet,Paul TI - From standard logic to logic programming : : introducing a logic based approach to artificial intelligence SN - 0471918385 AV - QA76.6 F76 1988 PY - 1988/// CY - New York, NY. : PB - John Wiley & Sons, KW - lemb KW - programación lógica KW - Inteligencia artificial N1 - Bibliografía : p. 327-335 ER -