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

Alan Bundy

Língua

Inglês

Livro Capa mole

Código Libristo: 12608737

Editoras Springer Berlin Heidelberg, junho 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Descrição completa

Código Libristo: 12608737

132 b

54.41 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Capa mole

10.61 €

La Peste Ecarlate LONDON-J

Capa mole

21.23 €

Hecho En Saturno Rita Indiana

Capa mole

16.98 €

TRIZ i ARIZ Pawel Astaf'ew

Capa mole

33.98 €

Száguldó szerelem Carly Robyn

Livro de capa dura

10.51 €

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.