10% de desconto

Logic Programming

Operational Semantics And Proof Theory

de James H. (Simon Fraser University, British Columbia) Andrews
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, agosto de 2004 ‧
51,37€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Logic Programming

Operational Semantics And Proof Theory

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

Propriedade Descrição
ISBN: 9780521607544
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: agosto de 2004
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 em Inglês > Informática > Programação
Livros em Inglês > Informática > Iniciação à Informática
EAN: 9780521607544

LIVROS DA MESMA COLEÇÃO