Programação

Logic Programming

Operational Semantics And Proof Theory

de James H. (Simon Fraser University, British Columbia) Andrews 

Bertrand.pt - Logic Programming
idioma: Inglês
Editor: CAMBRIDGE UNIVERSITY PRESS
Edição: agosto de 2004
Portes
Grátis
20%
51,37€
Poupe 10,27€ (20%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search strategies need to consult this book as the only source for some essential and new ideas in the area.

Da mesma coleção

ver +
Specification And Proof In Real Time Csp
20%
portes grátis
20% Cartão Leitor Bertrand
74,35€
Poupe 14,87€
CAMBRIDGE UNIVERSITY PRESS
A Modular And Extensible Network Storage Architecture
20%
portes grátis
20% Cartão Leitor Bertrand
52,72€
Poupe 10,54€
CAMBRIDGE UNIVERSITY PRESS
Logic Programming
Operational Semantics And Proof Theory
de James H. (Simon Fraser University, British Columbia) Andrews 
ISBN:
9780521607544
Ano de edição:
08-2004
Editor:
CAMBRIDGE UNIVERSITY PRESS
Idioma:
Inglês
Encadernação:
Capa mole
Páginas:
120
Tipo de Produto:
Livro
Coleção:
Distinguished Dissertations In Computer Science
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Programação

Livros  >  Livros em Inglês  >  Informática  >  Iniciação à Informática

EAN:
9780521607544
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.