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

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Reasoning David Basin
Libristo kod: 01559566
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipanj 2004
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom... Cijeli opis
? points 249 b
102.93 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Die Haut der Träume Raymond Queneau / Knjiga Meki uvez
common.buy 13.54 €
Luoghi, lingue, contatto. Italiano, dialetti e francoprovenzale in Puglia Alessandro Bitonti / Knjiga Meki uvez
common.buy 24.36 €
Wish, Asha et la bonne étoile 07 Walt Disney company / Knjiga Meki uvez
common.buy 8.69 €
PSYCHOANALÝZA VŠEDNOSTI Jan Stern / Knjiga Knjiga
common.buy 9.49 €
Война и мир. Кн.2, [тт. 3, 4 Лев Толстой / Knjiga Tvrdi uvez
common.buy 21.43 €
Acer japonicum Aurélien Gouttenoire / Knjiga Meki uvez
common.buy 14.65 €
LA ROSE ET LA BAGUE THACKERAY / Knjiga Meki uvez
common.buy 19.91 €
Et Sarah se libéra Spencer / Knjiga Meki uvez
common.buy 10.30 €
Havada Neler Olmus / Knjiga Meki uvez
common.buy 15.16 €
Tafelband Erich Nechtelberger / Knjiga Tvrdi uvez
common.buy 119.10 €
Diagnose Der Pflanzen-Gattungen: Nach Der Neuesten Ausgabe Des Linneischen Sexualfystems (1792) Georg Adolph Suckow / Knjiga Meki uvez
common.buy 37.30 €
Nina: Calepin - Cadeau D'anniversaire Personnel De Licorne Pour Les Enfants Et Les Écoli?res Notes Magiques / Knjiga Meki uvez
common.buy 8.99 €
Erntezeit Inge Sander / Knjiga Meki uvez
common.buy 9.09 €
Voyage en Espagne Théophile Gautier / Knjiga Meki uvez
common.buy 10.30 €
Monstruario IÑAKI / Knjiga Meki uvez
common.buy 12.33 €
Catalogue Historique Des Generaux Francais, Connetables, Marechaux de France, Lieutenants Generaux De La Roque-L / Knjiga Meki uvez
common.buy 18.19 €
Endülüs Sultani Muriel Romana / Knjiga Meki uvez
common.buy 12.12 €

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.

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 David Basin, Michael Rusinowitch
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2004
Broj stranica 491
EAN 9783540223450
ISBN 3540223452
Libristo kod 01559566
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 1580
Dimenzije 155 x 235 x 28

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

BARNYARD BANTER Denise Fleming / Knjiga Meki uvez
common.buy 8.38 €
Social relations,knowledge management,and organizational performance Yi-Chen Wu / Knjiga Meki uvez
common.buy 47.31 €
100 First Animals DK / Knjiga Leporelo
common.buy 10.40 €
Their Finest Hour Winston Churchill / Knjiga Meki uvez
common.buy 18.49 €
Anthology of Spanish Song Maria DiPalma / Knjiga Meki uvez
common.buy 18.09 €
Medford Anthony Mitchell Sammarco / Knjiga Meki uvez
common.buy 19.51 €
Darwinism - An Exposition of the Theory of Natural Selection Alfred Russell Wallace / Knjiga Meki uvez
common.buy 39.22 €
Eat What You Love: A Diabetic Cookbook of Comforting, Balanced Meals for a Healthy Low-Carb Life Sonoma Press / Knjiga Meki uvez
common.buy 14.25 €
Little Bird L J Raven / Knjiga Meki uvez
common.buy 19.40 €
Essential Portuguese Grammar Alexander Prista / Knjiga Meki uvez
common.buy 9.19 €
Portuguese for Beginners: The Best Handbook for Learning to Speak Portuguese Getaway Guides / Knjiga Meki uvez
common.buy 18.60 €
Unyielding Resolve Pratik Chougule / Knjiga Meki uvez
common.buy 20.21 €
Rescue From Camp Wildwood Timothy Peters / Knjiga Meki uvez
common.buy 10.30 €
Top
Kafkaesque Peter Kuper / Knjiga Tvrdi uvez
common.buy 15.86 €
The Icarus Icaros Traci Shin / Knjiga Meki uvez
common.buy 13.94 €
Handbook of Biomaterials Biocompatibility Masoud Mozafari / Knjiga Meki uvez
common.buy 292.01 €
Calligraphy Workbook: Calligraphy Practice Sheets to Write in - 120 Sheet Pad Calligrapher Press / Knjiga Meki uvez
common.buy 10.30 €
Cicero as Evidence Lintott / Knjiga Meki uvez
common.buy 83.92 €
Unknown to History Charlotte Mary Yonge / Knjiga Meki uvez
common.buy 20.52 €
Searching Skills Toolkit - Finding the Evidence 2e Caroline De Brún / Knjiga Meki uvez
common.buy 31.64 €
Poem of Job Edward G. King / Knjiga Meki uvez
common.buy 33.26 €
Different Perspective on the Patient Protection and Affordable Care Act Chinyere Ogbonna / Knjiga Meki uvez
common.buy 52.37 €
Chickens of Atlantis and Other Foul and Filthy Fiends Robert Rankin / Knjiga Meki uvez
common.buy 12.33 €
Invent with Inventor Yoofi Garbrah-Aidoo / Knjiga Meki uvez
common.buy 78.15 €

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?