Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Automated Deduction - CADE-14

14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997. Proceedings.

Língua InglêsInglês
Livro Capa mole
Livro Automated Deduction - CADE-14 William McCune
Código Libristo: 01566388
Editoras Springer, Berlin, novembro 1996
This book constitutes the strictly refereed proceedings of the 14th International Conference on Auto... Descrição completa
? points 132 b
54.33 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Chaines de Markov sur les Permutations J.-E. Dies / Livro Capa mole
common.buy 41.40 €
Road House Rowdy Herrington / Vídeo DVD
common.buy 13.32 €
Sladké mandaly - Omalovánky pro dospělé / Livro Capa mole
common.buy 3.32 €
La Decimocuarta ENRIQUE ORTEGO / Livro Capa mole
common.buy 22.21 €
Jak neztratit rozum v nerozumné době Petr Nutil / Livro Capa mole
common.buy 10.70 €
Englisch für die Berufsreifeprüfung - Hauptmodul Forms and Structures, Workbook Lösungsheft Gabriele Raab / Livro Capa mole
common.buy 10.60 €
People-Shooting Haasz Christian / Livro Livro de capa dura
common.buy 18.98 €
Hameau Willia Faulkner / Livro Capa mole
common.buy 14.43 €
Gold Advanced Coursebook Sally Burgess / Livro Capa mole
common.buy 39.08 €
Gold Advanced Coursebook with Advanced MyLab Pack GOLD / Livro Livro de capa dura
common.buy 61.91 €

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
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-14
Autor William McCune
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1997
Número de páginas 469
EAN 9783540631040
ISBN 3540631046
Código Libristo 01566388
Editoras Springer, Berlin
Peso 632
Dimensões 156 x 234 x 24

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 > Análise e conceção de sistemas
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Global Theory of Dynamical Systems Z. Nitecki / Livro Capa mole
common.buy 66.46 €
Principal
World of Warcraft: The Shattering Christie Golden / Livro Capa mole
common.buy 9.18 €
Origins of People-to-People Diplomacy, U.S. and Russia, 1917-1957 McFadden / Livro Livro de capa dura
common.buy 77.16 €
Victim Slayer Latoya Roberts / Livro Capa mole
common.buy 16.96 €
Narrative of an Expedition Across the Great South-Western Prairies, from Texas to Sante F: With an Account of the Disasters Which Befel [Sic] the Expe Geo Wilkins Kendall / Livro Capa mole
common.buy 26.35 €
Modernism as Memory Kathleen James-Chakraborty / Livro Capa mole
common.buy 41.10 €
Moshi Moshi Banana Yoshimoto / Livro Capa mole
common.buy 13.53 €
Formalisation of SysML Models and Analysis based on Refinement Lucas Lima / Livro Capa mole
common.buy 75.14 €
Pick and Pack's Adventure Gaye Lynn Trusty / Livro Capa mole
common.buy 14.33 €
Ohio Medical and Surgical Journal, Volume 6 James Henry Pooley / Livro Livro de capa dura
common.buy 38.17 €
Best of Quinoa Rena Patten / Livro Livro de capa dura
common.buy 25.55 €
Fluid Iron Tony Day / Livro Capa mole
common.buy 39.08 €
Capital Accumulation and Women's Labour in Asian Economies Peter Custers / Livro Capa mole
common.buy 29.89 €
I Think I Am a Verb Thomas A. Sebeok / Livro Capa mole
common.buy 108.37 €
Analysis and Application of Dynamic Patterns within the Context of Complaint Management Martina Müller / Livro Capa mole
common.buy 38.27 €
Introduction to Applied Bayesian Statistics and Estimation for Social Scientists Scott M. Lynch / Livro Capa mole
common.buy 127.36 €
Clinical and Educational Child Psychology - An Ecological-Transactional Approach to Child Problems and Interventions Linda Wilmshurst / Livro Capa mole
common.buy 56.96 €
Innovation Policies, Business Creation and Economic Development Neslihan Aydogan / Livro Livro de capa dura
common.buy 175.35 €
Play and Playwork: 101 Stories of Children Playing Fraser Brown / Livro Capa mole
common.buy 39.89 €
Young Men, Time, and Boredom in the Republic of Georgia Martin Frederiksen / Livro Livro de capa dura
common.buy 81.71 €
Anthropology and the Bushman Alan Barnard / Livro Capa mole
common.buy 49.18 €
Acidic Pit Lakes Walter Geller / Livro Livro de capa dura
common.buy 162.52 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?