Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Reasoning

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

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning Jürgen Giesl
Kod Libristo: 01656184
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2010
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Cały opis
? points 280 b
Gwarancja
najlepszej
ceny ▸
498.15 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson / Książka Twarda
common.buy 112.45 zł
Artistas Cristina Serret / E-book Adobe ePub DRM
common.buy 37.92 zł
MDF. La storia del Mostro di Firenze. Cofanetto Roberto Taddeo / Książka binding.
common.buy 225.52 zł
Einführung in die Kautschuktechnologie Georg Abts / Książka Twarda
common.buy 284.25 zł
Je valorise mes déchets verts au jardin Denis Pépin / Książka Miękka
common.buy 92.87 zł
Entwicklung von Autonomie und Paternalismus Hugo Esteva / Książka Miękka
common.buy 153.54 zł
INT.DINAMICA KEYNESI KURIHAR / Książka Książka
common.buy 25.79 zł
Souvenirs de mon premier festival Biyoghe / Książka Miękka
common.buy 91.24 zł
Whisky-Witze Wolfgang F. Rothe / Książka Twarda
common.buy 72.99 zł
AULAS INCLUSIVAS Mª EUGENIA PEREZ / Książka Twarda
common.buy 243.06 zł
L'' cole Normale Romuald Normand / Książka Miękka
common.buy 375.30 zł
String Quartets 1+2 Shostakovich Quartet / Audio CD Audio
common.buy 30.27 zł
TOP
Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola / Książka Miękka
common.buy 111.53 zł
Her Sey Allah&#305 Hekimoglu ismail / Książka Miękka
common.buy 29.15 zł
UEber Nithards Gerold Meyer Von Knonau / Książka Miękka
common.buy 69.52 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Reasoning
Autor Jürgen Giesl, Reiner Hähnle
Język Angielski
Oprawa Książka - Miękka
Data wydania 2010
Liczba stron 536
EAN 9783642142024
ISBN 3642142028
Kod Libristo 01656184
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 815
Wymiary 155 x 238 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Analiza systemowa i projektowanie
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Seismic Engineering Jacques Betbeder-Matibet / Książka Twarda
common.buy 1 748.16 zł
Managing the Reality of Virtual Organizations SANDHYA SHEKHAR / Książka Miękka
common.buy 217.67 zł
Rock Paper Scissors Matty Dalrymple / Książka Miękka
common.buy 83.49 zł
Bedtime Stories for Insomniacs: Surprisingly Original Sleep Tips from the Effortless Sleep Method Good Sleepers' Club Sasha Stephens / Książka Miękka
common.buy 44.44 zł
A Flock of Girls and Boys Nora Perry / Książka Miękka
common.buy 34.86 zł
The Categories (annotated) Aristotle / Książka Miękka
common.buy 28.13 zł
Standardising English EDITED BY LINDA PILL / Książka Twarda
common.buy 636.21 zł
Urdu Children's Book Level 3 Reader Dinesh Verma / Książka Miękka
common.buy 63.92 zł
Cupping Therapy Science: A Therapeutic Traditional Regime Malik Ih / Książka Miękka
common.buy 107.45 zł
Tanie
Blitzscaling Reid Hoffman / Książka Miękka
common.buy 56.98 zł
Brentano and Intrinsic Value Roderick M. Chisholm / Książka Miękka
common.buy 146.81 zł
Degrees of Separation Ian Gouge / Książka Miękka
common.buy 54.95 zł
Science of Self-Empowerment Gregg Braden / Książka Miękka
common.buy 91.85 zł
Blood Apprentice Elizabeth Hunter / Książka Miękka
common.buy 75.23 zł
Creative Kinetics Rodney Frost / Książka Miękka
common.buy 119.89 zł
My Product Management Toolkit: Tools and Techniques to Become an Outstanding Product Manager Marc Abraham / Książka Miękka
common.buy 69.73 zł
Animals in the International Law of Armed Conflict Anne Peters / Książka Twarda
common.buy 604.39 zł
Brockton James E. Benson / E-book Adobe ePub DRM
common.buy 53.72 zł
TOP
Gravity Falls: Happy Summerween! / The Convenience Store . . . of Horrors! DISNEY BOOK GROUP / Książka Miękka
common.buy 26.91 zł
Revolutionary Russia, 1891-1991 Orlando Figes / Książka Miękka
common.buy 59.94 zł
Mood and Modality F. R. (University of Reading) Palmer / Książka Twarda
common.buy 531.09 zł
Vibes Amy Kathleen Ryan / Książka Miękka
common.buy 56.58 zł
Morgesons Elizabeth Stoddard / Książka Miękka
common.buy 69.52 zł
Maria the Moon NANCY MEADOWS / Książka Miękka
common.buy 46.58 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?