por Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Logic with Prolog» é o manual de lógica formal e programação lógica de Peter Gibbins, da Clarendon Press, em brochura (336 páginas, em inglês).
Introdução à lógica formal e à programação lógica com Prolog: cobre analisadores, intérpretes, verificadores de provas e demonstradores de teoremas, os cálculos proposicional e de predicados mediante dedução natural, a lógica de uma pequena linguagem imperativa e as limitações do Prolog real.
Publicado originalmente em 1988, faz parte da série Oxford Applied Mathematics and Computing Science Series e inclui bibliografia e índice.
Orientado a estudantes universitários e profissionais de informática interessados na lógica e na programação em Prolog.
