Logic with Prolog
por Peter Gibbins · Clarendon Press · tapa blanda · ISBN 9780198596592
3,8
10 pessoas a ver istoVisto 1 vezes
-
IVA incluído
Envio GRÁTIS · chega a 12 de out
Devolução grátis em 30 dias
Paga com:
Ofertas disponíveis por estado
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
Detalhes do produto
Autor: Peter Gibbins
ISBN: 9780198596592
Editora: Clarendon Press
Idioma: Inglês
Formato: tapa blanda
Data de publicação: 08/12/1988
Páginas: 336 pág
Dimensões: 22.2 x 14.6 x 2.5 cm
Peso: 431 g
Sinopse de Logic with Prolog
«Logic with Prolog» é o manual de lógica formal e programação lógica de Peter Gibbins, da Clarendon Press, em brochado (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.
Mais títulos para quem leu Logic with Prolog de Peter Gibbins
Recomendado por Julia
Livros mais vendidos de Programação e Linguagens
Mais vendidos
Última unidade!4 pessoas têm-no no carrinho
-
IVA incluído