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-15

Name: Automated Deduction - CADE-15
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01566707
Price: 51.56 EUR
Availability: InStock
Author: Claude Kirchner
ISBN: 9783540646754

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998. Proceedings

Claude Kirchner

Helene Kirchner

Língua

Inglês

Livro Capa mole

Código Libristo: 01566707

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

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

Código Libristo: 01566707

125 b

51.56 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Le club des tricoteuses JACOBS-K

Capa mole

11.09 €

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

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-15

Autor Claude Kirchner, Helene Kirchner

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 1998

Número de páginas 450

EAN 9783540646754

ISBN 3540646752

Código Libristo 01566707

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

Peso 1430

Dimensões 155 x 235 x 25

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