Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Automated Reasoning Jürgen Giesl
Libristo kód: 01656184
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2010
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Celý popis
? points 268 b
2 675 Kč
Skladem u dodavatele v malém množství Odesíláme za 9-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson / Kniha Pevná
common.buy 597 Kč
Die Kunst des Zeichnens - Das Standardwerk Frechverlag / Kniha Pevná
common.buy 658 Kč
Einführung in die Kautschuktechnologie Georg Abts / Kniha Pevná
common.buy 1 509 Kč
Nové
Je valorise mes déchets verts au jardin Denis Pépin / Kniha Brožovaná
common.buy 527 Kč
Entwicklung von Autonomie und Paternalismus Hugo Esteva / Kniha Brožovaná
common.buy 989 Kč
INT.DINAMICA KEYNESI KURIHAR / Kniha Kniha
common.buy 148 Kč
Whisky-Witze Wolfgang F. Rothe / Kniha Pevná
common.buy 384 Kč
AULAS INCLUSIVAS Mª EUGENIA PEREZ / Kniha Pevná
common.buy 1 369 Kč
L'' cole Normale Romuald Normand / Kniha Brožovaná
common.buy 2 552 Kč
String Quartets 1+2 Shostakovich Quartet / Audio Audio CD
common.buy 161 Kč
Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola / Kniha Brožovaná
common.buy 626 Kč
Her Sey Allah&#305 Hekimoglu ismail / Kniha Brožovaná
common.buy 156 Kč
UEber Nithards Gerold Meyer Von Knonau / Kniha Brožovaná
common.buy 546 Kč

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Reasoning
Autor Jürgen Giesl, Reiner Hähnle
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 536
EAN 9783642142024
ISBN 3642142028
Libristo kód 01656184
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 815
Rozměry 155 x 238 x 30

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Systémová analýza a systémový design
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Seismic Engineering Jacques Betbeder-Matibet / Kniha Pevná
common.buy 9 823 Kč
Managing the Reality of Virtual Organizations SANDHYA SHEKHAR / Kniha Brožovaná
common.buy 1 350 Kč
Rock Paper Scissors Matty Dalrymple / Kniha Brožovaná
common.buy 446 Kč
Bedtime Stories for Insomniacs: Surprisingly Original Sleep Tips from the Effortless Sleep Method Good Sleepers' Club Sasha Stephens / Kniha Brožovaná
common.buy 237 Kč
A Flock of Girls and Boys Nora Perry / Kniha Brožovaná
common.buy 186 Kč
The Categories (annotated) Aristotle / Kniha Brožovaná
common.buy 150 Kč
Standardising English EDITED BY LINDA PILL / Kniha Pevná
common.buy 3 497 Kč
Urdu Children's Book Level 3 Reader Dinesh Verma / Kniha Brožovaná
common.buy 340 Kč
Cupping Therapy Science: A Therapeutic Traditional Regime Malik Ih / Kniha Brožovaná
common.buy 573 Kč
Blitzscaling Reid Hoffman / Kniha Brožovaná
common.buy 348 Kč
Brentano and Intrinsic Value Roderick M. Chisholm / Kniha Brožovaná
common.buy 825 Kč
Degrees of Separation Ian Gouge / Kniha Brožovaná
common.buy 294 Kč
Science of Self-Empowerment Gregg Braden / Kniha Brožovaná
common.buy 465 Kč
Blood Apprentice Elizabeth Hunter / Kniha Brožovaná
common.buy 403 Kč
Creative Kinetics Rodney Frost / Kniha Brožovaná
common.buy 608 Kč
My Product Management Toolkit: Tools and Techniques to Become an Outstanding Product Manager Marc Abraham / Kniha Brožovaná
common.buy 372 Kč
Animals in the International Law of Armed Conflict Anne Peters / Kniha Pevná
common.buy 3 238 Kč
Brockton James E. Benson / E-kniha Adobe ePub DRM
common.buy 299 Kč
Top
Gravity Falls: Happy Summerween! / The Convenience Store . . . of Horrors! DISNEY BOOK GROUP / Kniha Brožovaná
common.buy 132 Kč
Revolutionary Russia, 1891-1991 Orlando Figes / Kniha Brožovaná
common.buy 381 Kč
Mood and Modality F. R. (University of Reading) Palmer / Kniha Pevná
common.buy 2 984 Kč
Vibes Amy Kathleen Ryan / Kniha Brožovaná
common.buy 299 Kč
Morgesons Elizabeth Stoddard / Kniha Brožovaná
common.buy 717 Kč
Maria the Moon NANCY MEADOWS / Kniha Brožovaná
common.buy 249 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?