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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Código Libristo: 01569358
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Descrição completa
? points 111 b
45.97 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Em breve
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Livro Capa mole
common.buy 20.81 €
Rodina v 21. století collegium / Livro Capa mole
common.buy 3.43 €
Theodor Fontane: Effi Briest Theodor Fontane / Livro Livro de capa dura
common.buy 5.04 €
Suburban Hell Taro Kanafuro / Livro Capa mole
common.buy 27.38 €
Educación infantil, 3 a?os / Livro Capa mole
common.buy 17.07 €
Le Passage du Désir Almira / Livro Capa mole
common.buy 9.79 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Livro Capa mole
common.buy 31.52 €
Les Tribulations d'un Chinois en Chine Jules Verne / Livro Capa mole
common.buy 9.79 €
Económico
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Jogo/brinquedo Jogo
common.buy 9.08 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Livro Capa mole
common.buy 30.71 €
A>tze, das Tintenmonster Ursel Scheffler / Livro Capa mole
common.buy 5.14 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Livro Capa mole
common.buy 71.13 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Livro Capa mole
common.buy 15.86 €
Heilkunst und Humor Rosina Sonnenschmidt / Livro Livro de capa dura
common.buy 24.44 €

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autor Nachum Dershowitz, Andrei Voronkov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2007
Número de páginas 564
EAN 9783540755586
ISBN 3540755586
Código Libristo 01569358
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 878
Dimensões 155 x 235 x 32

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 > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
Informática & tecnologia da informação > Sistemas operativos
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

Catalysis Michel Boudart / Livro Capa mole
common.buy 91.75 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Livro Capa mole
common.buy 98.92 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Livro Capa mole
common.buy 23.94 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Livro Livro de capa dura
common.buy 39.10 €
5 Things to Pray for Your Church Jones / Livro Capa mole
common.buy 5.75 €
Perpetrators Victims Bystanders Raul Hilberg / Livro Capa mole
common.buy 12.22 €
Worldwar Harry Turtledove / Livro Capa mole
common.buy 6.26 €
Global Renewal Christianity Amos Yong / Livro Livro de capa dura
common.buy 27.78 €
JENNY BOOTH ELIZABETH EDI PIGOT / Livro Livro de capa dura
common.buy 26.97 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Livro Capa mole
common.buy 7.27 €
The Death of the Wicked Anne Barton / Livro Capa mole
common.buy 12.52 €
SAS Certified Professional Prep Guide Sas Institute / Livro Livro de capa dura
common.buy 122.26 €
Just for You Francesca Pirrone / Livro Livro de capa dura
common.buy 11.00 €
John and the Big Wish Laura Watkins / Livro Livro de capa dura
common.buy 7.77 €
Advances in X-Ray Analysis Charles S. Barrett / Livro Capa mole
common.buy 45.97 €
Gender and Nation Building in the Middle East Elise G Young / Livro Livro de capa dura
common.buy 181.08 €
Con Men, The Leo Gough / Livro Capa mole
common.buy 23.33 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Livro Livro de capa dura
common.buy 178.75 €
Future of Drylands Cathy Lee / Livro Livro de capa dura
common.buy 183.20 €
Pascal John Tulloch / Livro Capa mole
common.buy 10.30 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Livro Capa mole
common.buy 50.72 €
English Drama Before Shakespeare Peter Happe / Livro Capa mole
common.buy 65.17 €
Computational Algebraic Geometry Frederic Eyssette / Livro Capa mole
common.buy 45.97 €

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