por Peter Gibbins · Clarendon Press · pasta blanda · ISBN 9780198596592
IVA incluido
Compra Protegida con Mercado Pago
Si el producto no llega o no es lo que pediste, Mercado Pago te devuelve tu dinero.
MercadoLíder Platinum
+10k pedidos entregados · 98% calif. positivas
OXXO
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Llegamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Logic with Prolog» es el manual de lógica formal y programación lógica de Peter Gibbins, de Clarendon Press, en pasta 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.
