por Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«Logic with Prolog» es el manual de lógica formal y programación lógica de Peter Gibbins, de Clarendon Press, en tapa blanda (336 páginas, en inglés).
Introducción a la lógica formal y a la programación lógica con Prolog: cubre analizadores, intérpretes, verificadores de pruebas y demostradores de teoremas, los cálculos proposicional y de predicados mediante deducción natural, la lógica de un pequeño lenguaje imperativo y las limitaciones del Prolog real.
Publicado originalmente en 1988, forma parte de la serie Oxford Applied Mathematics and Computing Science Series e incluye bibliografía e índice.
Orientado a estudiantes universitarios y profesionales de la informática interesados en la lógica y la programación en Prolog.
