phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 11.02 zł
phone Kontakt phoneJak kupować

Automated Deduction - CADE-21

Język AngielskiAngielski
Książka Miękka
Książka Automated Deduction - CADE-21 Frank Pfenning
Kod Libristo: 01568871
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2007
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... Cały opis
? points 154 b
262.26 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Jana Eyrová Charlotte Brontëová / Twarda
common.buy 43.77 zł
Granny Fixit and the Ball JANE CADWALLADER / Miękka
common.buy 23.28 zł
Zapowiedź
Lily Vanilli's Sweet Tooth Lily Jones / Twarda
common.buy 92.44 zł
Hiob Joseph Roth / Miękka
common.buy 41.57 zł
Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster / Miękka
common.buy 517.33 zł
Anni und der Weihnachtsmann Reinhard Heinrich / Twarda
common.buy 77.85 zł
Murder Game. Magisches Spiel, englische Ausgabe Christine Feehan / Miękka
common.buy 31.87 zł
Paradise Lost and the Rhetoric of Literary Forms Barbara Kiefer Lewalski / Twarda
common.buy 809.78 zł
Preussische Adel bis 1918 Thomas Hallmann / Miękka
common.buy 161.51 zł
Der Tod Abels Salomon Geßner / Twarda
common.buy 229.07 zł
Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer / Miękka
common.buy 330.42 zł
Fusionskontrolle im Medienbereich. Ekkehard Spieler / Miękka
common.buy 242.57 zł
Irish Volunteers 1913-1915 F X Martin / Twarda
common.buy 300.14 zł
Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri / Miękka
common.buy 108.33 zł
Heterogeneous Electrode Processes and Localized Corrosion Yongjun Mike Tan / Twarda
common.buy 656.06 zł
Die Geschichte Des Tom Jones, Teil 2 Henry Fielding / Miękka
common.buy 105.94 zł

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

Informacje o książce

Pełna nazwa Automated Deduction - CADE-21
Autor Frank Pfenning
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 524
EAN 9783540735946
ISBN 3540735941
Kod Libristo 01568871
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 813
Wymiary 155 x 235 x 29

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
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

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