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 :-(

Automated Deduction - CADE-17

Name: Automated Deduction - CADE-17
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01567456
Price: 54.21 EUR
Availability: InStock
Author: David McAllester
ISBN: 9783540676645

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

David McAllester

Língua

Inglês

Livro Capa mole

Código Libristo: 01567456

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2000

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

Código Libristo: 01567456

132 b

54.21 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Poverhnostno-aktivnye veshhestva v ob#ektah okruzhajushhej sredy E.Yu. Shachneva

Capa mole

37.58 €

Capo Verde

Capa mole

16.32 €

Kdo umyje nádobí?

Jogo

10.98 €

La voz de la conciencia ESTEBAN DUQUE

Capa mole

21.86 €

Scooby-Doo! i szalejący karateka James Gelsey

Capa mole

3.72 €

Die chinesischen und mandschurischen Zierschriften Giovanni Stary

Capa mole

37.78 €

Wannseekonferenz Peter Longerich

Capa mole

14.70 €

Marek a jeho písničky

CD de áudio

11.38 €

Cuánto Sabes De... Fútbol Americano Indoor Wanceulen Notebook

Capa mole

10.37 €

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000.§The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

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 Automated Deduction - CADE-17

Autor David McAllester

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2000

Número de páginas 526

EAN 9783540676645

ISBN 3540676643

Código Libristo 01567456

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 819

Dimensões 155 x 235 x 29

Categorias

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

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática

Informática & tecnologia da informação > Ciência informática > Inteligência artificial > Sistemas especialistas/sistemas baseados no conhecimento

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 > Arquitetura informática e conceção lógica

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