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 Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Reasoning Ulrich Furbach
Libristo kod: 01562445
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kolovoz 2006
Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Cijeli opis
? points 249 b
103.01 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Velké logopedické pexeso 2 Ilona Eichlerová / Knjiga Meki uvez
common.buy 6.16 €
Spieltheorie fur Dummies Erwin Amann / Knjiga Meki uvez
common.buy 15.78 €
Mirai Nikki 06 Sakae Esuno / Knjiga Meki uvez
common.buy 9.71 €
Wheatgrass: (Hierba de Trigo) Neil Stevens / Knjiga Meki uvez
common.buy 9.30 €
Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding / Knjiga Meki uvez
common.buy 159.88 €
Guia Practica del Rolex Vintage Colin A. Whte / Knjiga Meki uvez
common.buy 44.01 €
VITAM IMPENDERE VERO. HOMMAGE A R. TROUSSON ET F.S. EIGELDINGER Knjiga Meki uvez
common.buy 57.17 €

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, Washington, USA, August 2006. The book presents 41 revised full research papers and 8 revised system descriptions, with 3 invited papers and a summary of a systems competition. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.

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 Reasoning
Autor Ulrich Furbach, Natarajan Shankar
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2006
Broj stranica 688
EAN 9783540371878
ISBN 3540371877
Libristo kod 01562445
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 2140
Dimenzije 152 x 229 x 38

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
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
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

Computer Performance Engineering Nigel Thomas / Knjiga Meki uvez
common.buy 51.70 €
Designing Video and Multimedia for Open and Flexible Learning Jack Koumi / Knjiga Tvrdi uvez
common.buy 266.24 €
Pripremamo Novo
Charles Spurgeon's Morning & Evening Devotional Bible KJV [Rose Gold & Sand Signature] / Knjiga Tvrdi uvez
common.buy 37.84 €
Honor Kristen Proby / Knjiga Meki uvez
common.buy 8.39 €
Faster Adam Rapp / Knjiga Meki uvez
common.buy 13.65 €
An Elementary Treatise on Descriptive Geometry... John Fry Heather / Knjiga Meki uvez
common.buy 18.41 €
The Accounts of the Churchwardens of the Parish of Saint Michael, Cornhill, in the City of London, from 1456 to 1608 William Henry Overall / Knjiga Meki uvez
common.buy 23.27 €
Proverbial "Pied Piper" Kevin J. McKenna / Knjiga Tvrdi uvez
common.buy 80.24 €
Blacker the Berry Wallace Thurman / Knjiga Meki uvez
common.buy 9.30 €
Friendly Contributions, For The Benefit Of Three Infant Schools, In The Parish Of Kensington (1836) Mary Fox / Knjiga Meki uvez
common.buy 30.75 €
BARRAGE VOL 1 MARSHALL VLN BKCD MARSHALL / Knjiga binding.
common.buy 44.42 €
Ryan Trecartin Linda Norden / Knjiga Tvrdi uvez
common.buy 51.70 €
Two Truths and a Lie Scott Turner Schofield / Knjiga Meki uvez
common.buy 17.90 €
Natural Disaster Management in the Asia-Pacific Caroline Brassard / Knjiga Tvrdi uvez
common.buy 103.01 €
Environmental UV Radiation: Impact on Ecosystems and Human Health and Predictive Models Francesco Ghetti / Knjiga Meki uvez
common.buy 109.39 €
Privacy and Health Care James M. Humber / Knjiga Tvrdi uvez
common.buy 109.39 €
Dynamical Systems with Applications using Maple (TM) Stephen Lynch / Knjiga Meki uvez
common.buy 89.85 €

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?