Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Deduction - CADE-21

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Deduction - CADE-21 Frank Pfenning
Libristo kod: 01568871
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2007
A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... Cijeli opis
? points 125 b
51.75 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Estudo da degradacao ambiental provocada pelas acoes socioespaciais José Gustavo da Silva Melo / Knjiga Meki uvez
common.buy 35.74 €
MORTEL.LES RIVARD ALICE Knjiga binding.
common.buy 29.87 €
CANCION GRIS MANILLA / Knjiga Knjiga
common.buy 7.08 €
Dong Song Hoang Tưởng - El Rio Fantasioso (Vietnamese & Spanish edition) Thuy Huong Nguyen / Knjiga Meki uvez
common.buy 20.35 €
ВКЛЮЧЕНИЕ КОММА GC JAIN / Knjiga Meki uvez
common.buy 22.27 €
200%VISUEL TABLETTES ANDROID GENEVRAY J / Knjiga Meki uvez
common.buy 23.99 €
Pourquoi la Science n'aime pas les femmes Flex / Knjiga Meki uvez
common.buy 20.55 €
Hiob Joseph Roth / Knjiga Meki uvez
common.buy 10.02 €
Spiegelbild im goldnen Auge Carson McCullers / Knjiga Meki uvez
common.buy 11.84 €
Elemens de Numismatique: Ou Introduction A La Connaissance Des Medailles Antiques DUMERSAN-T / Knjiga Meki uvez
common.buy 17.41 €
Fusionskontrolle im Medienbereich. Ekkehard Spieler / Knjiga Meki uvez
common.buy 66.03 €
Modern Keyboard, Beiheft 1-2 Günter Loy / Knjiga List
common.buy 11.74 €
On the Generalized: A Buddhist View of the Analects 莲龙居士 / Knjiga Meki uvez
common.buy 11.03 €
Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer / Knjiga Meki uvez
common.buy 75.34 €
Expressionismus und Georg Heyms "Der Gott der Stadt als beispielhafte, literarische Produktion Florian Meier / Knjiga Meki uvez
common.buy 16.20 €
Preussische Adel bis 1918 Thomas Hallmann / Knjiga Meki uvez
common.buy 17.11 €
Anni und der Weihnachtsmann Reinhard Heinrich / Knjiga Tvrdi uvez
common.buy 17.92 €
Jana Eyrová Charlotte Brontëová / Knjiga Tvrdi uvez
common.buy 10.22 €
Die Geschichte Des Tom Jones, Teil 2 Henry Fielding / Knjiga Meki uvez
common.buy 11.74 €
Der Tod Abels Salomon Geßner / Knjiga Tvrdi uvez
common.buy 22.37 €
Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri / Knjiga Meki uvez
common.buy 26.83 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Deduction - CADE-21
Autor Frank Pfenning
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2007
Broj stranica 524
EAN 9783540735946
ISBN 3540735941
Libristo kod 01568871
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 813
Dimenzije 155 x 235 x 29

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster / Knjiga Meki uvez
common.buy 103.10 €
Magnitude and Delay Approximation of 1-D and 2-D Digital Filters Belle A. Shenoi / Knjiga Meki uvez
common.buy 51.75 €
REINCARNATION OF SHALEENA MCBA Dessie Mae / Knjiga Meki uvez
common.buy 8.40 €
Groupthink Versus High-Quality Decision Making in International Relations Scott Crichlow / Knjiga Tvrdi uvez
common.buy 160.02 €
Invitation to Modern Number Theory Steven J. Miller / Knjiga Tvrdi uvez
common.buy 126.39 €
Moving Pixels Peter Weishar / Knjiga Tvrdi uvez
common.buy 46.07 €
Cyanobacterial Toxins of Drinking Water Supplies Ian Robert Falconer / Knjiga Tvrdi uvez
common.buy 362.58 €
Dissertation by Way of Inquiry Into the True Import and Application of the Vision Related Dan IX Ver20 to the End, Usually Called Daniel's Prophecy of Benjamin Blayney / Knjiga Meki uvez
common.buy 19.23 €
Dramatic Action in Greek Tragedy and Noh Mae J. Smethurst / Knjiga Meki uvez
common.buy 58.63 €
What He's Poised to Do Ben Greenman / Knjiga Meki uvez
common.buy 12.35 €
On Literature, Culture, and Religion Irving Babbitt / Knjiga Meki uvez
common.buy 73.22 €
Bible Walkthrough - 18 - Joshua to Ruth Cliff Taylor / Knjiga Meki uvez
common.buy 7.69 €
The Great IRS Hoax, Volume 6, Form #11.302 Family Guardian Fellowship / Knjiga Meki uvez
common.buy 55.39 €
31 Days of Poetry Prompts: 11 words Jim Russo / Knjiga Meki uvez
common.buy 7.69 €
Second Rebel Lewis / Knjiga Tvrdi uvez
common.buy 20.96 €
Astronomy For Dummies, 5th Edition (+ Chapter Quiz zes Online) Richard T. Fienberg / Knjiga Meki uvez
common.buy 18.83 €
Introduction to C Programming Language M. Jhansi / Knjiga Meki uvez
common.buy 54.38 €
Beautiful World Coloring Book Car Pintos / Knjiga Meki uvez
common.buy 15.79 €
A Surprise for Willow Bea Jackson / Knjiga Meki uvez
common.buy 6.17 €
When Kids Can't Read-What Teachers Can Do Kylene Beers / Audio knjiga MP3
common.buy 24.10 €
Granny Fixit and the Ball JANE CADWALLADER / Knjiga Meki uvez
common.buy 5.46 €
Paradise Lost and the Rhetoric of Literary Forms Barbara Kiefer Lewalski / Knjiga Tvrdi uvez
common.buy 195.77 €
Oxford Activity Books for Children: Book 6 Christopher Clark / Knjiga Meki uvez
common.buy 23.99 €
Lily Vanilli's Sweet Tooth Lily Jones / Knjiga Tvrdi uvez
common.buy 29.67 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?