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

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Língua InglêsInglês
Livro Capa mole
Livro Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Código Libristo: 01657129
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Descrição completa
? points 132 b
54.08 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers / Livro Livro de capa dura
common.buy 91.01 €
La Sainte-Chapelle Paris NE Françoise Perrot / Livro Livro de capa dura
common.buy 33.87 €
CANDYMAN - BRD ROSE Vídeo DVD
common.buy 29.35 €
Old Havana Cookbook: Cuban Recipes in Spanish and English Hippocrene Editors / Livro Capa mole
common.buy 10.04 €
Guia Completa Para Tu Volpino Italiano Acosta Julia Acosta / Livro Capa mole
common.buy 15.67 €
Hans Von Bulow Marie von Bülow / Livro Capa mole
common.buy 37.49 €
DIME QUE ME QUIERES AUNQUE SEA MENTIRA ROIG / Livro Livro
common.buy 26.83 €
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Livro Livro
common.buy 20.30 €
Santa Valentina tiene un plan Regina Román Gómez / Livro Capa mole
common.buy 23.42 €
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Livro Capa mole
common.buy 17.78 €
Nederlandsk Flemming André Philip Ravn / Livro Capa mole
common.buy 35.68 €
Dr. Lampe's Bienenzucht C.O. Lampe / Livro Capa mole
common.buy 35.68 €
Magie und Aberglaube bei Cervantes Janina Klinck / Livro Capa mole
common.buy 42.31 €
Rechnernetze Peter Schnupp / Livro Livro de capa dura
common.buy 124.65 €
Maximilian Richter: Die Bibel in Hausandachten. Band 1 Maximilian Richter / Livro Livro de capa dura
common.buy 181.66 €
Das Stadtlogo als Stadtmarketing-Instrument Daniel Gromotka / Livro Capa mole
common.buy 49.45 €
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Livro Capa mole
common.buy 37.89 €
Literaturblatt fur germanische und romanische Philologie Otto Behaghel / Livro Capa mole
common.buy 20.70 €
Lehrbuch der Lacktechnologie Thomas Brock / Livro Livro de capa dura
common.buy 216.04 €
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Livro Capa mole
common.buy 26.53 €
La fiducía sucesoria secreta Sergio Cámara Lapuente / Livro Capa mole
common.buy 94.89 €

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal 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 Edmund M. Clarke, Andrei Voronkov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 517
EAN 9783642175107
ISBN 3642175104
Código Libristo 01657129
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 791
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
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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
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

Ratatouille Brad Bird / Vídeo DVD
common.buy 10.55 €
Protection of Economic, Social and Cultural Rights in Africa Danwood Mzikenge Chirwa / Livro Capa mole
common.buy 71.97 €
Quit Smoking in 2 Weeks: Latest QS2W Method, Easiest Method with Highest Success rate Dr Shahriar Mostafa / Livro Capa mole
common.buy 10.55 €
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Livro Capa mole
common.buy 12.36 €
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Livro Capa mole
common.buy 33.77 €
The Naval History of the United States Willis J Abbot / Livro Capa mole
common.buy 34.47 €
Ensam Jonathon Robert Bone / Livro Capa mole
common.buy 8.74 €
Perfect Contractor in Russian Hill Rosanna Brand / Livro Livro de capa dura
common.buy 33.87 €
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Livro Capa mole
common.buy 12.36 €
Where The States Stand On Civil Rights Richard Barnett / Livro Capa mole
common.buy 27.44 €
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Jogo/brinquedo Jogo
common.buy 13.46 €
America's Founding and the Struggle over Economic Inequality Clement Fatovic / Livro Livro de capa dura
common.buy 50.16 €
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Livro Capa mole
common.buy 31.26 €
CUSTOMS TARIFF AND REGULATIONS FOR PORTS UNITED STATES. WAR D / Livro Livro de capa dura
common.buy 30.35 €
History of the Life of Thomas Ellwood Charles George Crump / Livro Livro de capa dura
common.buy 34.17 €
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Livro Capa mole
common.buy 16.98 €
Super Nutrition Terry McIlroy / Livro Capa mole
common.buy 21.81 €
Young Adventure Stephen Vincent Benet / Livro Capa mole
common.buy 14.17 €
100$ Trip - PORTUGAL Travel Guide: Lisbon, Porto, Sintra and Madeira Patrick Hill / Livro Capa mole
common.buy 8.74 €
Adult Coloring Book: Christmas Coloring Pages with Animal, Creative Art Activities for Children, kids and Adults J. K. Mimo / Livro Capa mole
common.buy 7.73 €
Plant Over Processed HANNEMANN ANDREA / Livro Livro de capa dura
common.buy 20.50 €
Council Government Versus Mayor Government (1900) Edward Dana Durand / Livro Capa mole
common.buy 20.70 €
Language Exercises (1889) Robert Comfort Metcalf / Livro Capa mole
common.buy 28.34 €
CBD Oil for Health James Coley / Livro Livro de capa dura
common.buy 20.70 €

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?