Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.
Logical Frameworks
Língua
Inglês
Inglês
Livro
Livro de capa dura
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....
Descrição completa
Código Libristo: 02030023
?
251 b
251 b
103.80
€
Armazenamento externo
Envio em 9-15 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
37.73
€
/
Capa mole
14.26
€
/
Capa mole
14.66
€
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Logical Frameworks
Autor
Gerard HuetG. Plotkin
Língua
Inglês
Inglês
Encadernação
Livro - Livro de capa dura
Data de emissão
1991
Número de páginas
416
EAN
9780521413008
ISBN
0521413001
Código Libristo
02030023
Editoras
Cambridge University Press
Peso
78
Dimensões
152 x 229 x 27
