Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics
Brand: Springer, Berlin
SKU: 01559777
Price: 51.68 EUR
Availability: InStock
Author: Konrad Slind
ISBN: 9783540230175

17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Konrad Slind

Annette Bunker

Ganesh C. Gopalakrishnan

Língua

Inglês

Livro Capa mole

Código Libristo: 01559777

Editoras Springer, Berlin, novembro 2003

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Provi... Descrição completa

Código Libristo: 01559777

125 b

51.68 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Торговый хаос Bill Williams

Capa mole

19.31 €

This book constitutes the refereed proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2004, held in Park City, Utah, USA, in September 2004.The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. Among the topics addressed are theorem proving, verification, inductive types, automated deduction, mechanized proofs, mathematical logic, proof theory, type systems, computability, program verification, ACL, Cop, Isabelle/HOL, recursive functions, integration theory, machine code safety certification, and abstraction.

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 Theorem Proving in Higher Order Logics

Autor Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2004

Número de páginas 340

EAN 9783540230175

ISBN 3540230173

Código Libristo 01559777

Editoras Springer, Berlin

Peso 540

Dimensões 156 x 234 x 18

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas

Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática

Informática & tecnologia da informação > Ciência informática > Análise e conceção de sistemas

Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica

Informática & tecnologia da informação > Ciência informática > Inteligência artificial