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 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Reasoning

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

Język AngielskiAngielski
Książka Miękka
Książka Automated Reasoning David Basin
Kod Libristo: 01559566
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2004
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom... Cały opis
? points 249 b
440.92 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Die Haut der Träume Raymond Queneau / Książka Miękka
common.buy 58.07 zł
Luoghi, lingue, contatto. Italiano, dialetti e francoprovenzale in Puglia Alessandro Bitonti / Książka Miękka
common.buy 105.31 zł
Wish, Asha et la bonne étoile 07 Walt Disney company / Książka Miękka
common.buy 40.33 zł
PSYCHOANALÝZA VŠEDNOSTI Jan Stern / Książka Książka
common.buy 43.17 zł
Война и мир. Кн.2, [тт. 3, 4 Лев Толстой / Książka Twarda
common.buy 97.09 zł
Acer japonicum Aurélien Gouttenoire / Książka Miękka
common.buy 62.63 zł
LA ROSE ET LA BAGUE THACKERAY / Książka Miękka
common.buy 88.78 zł
Et Sarah se libéra Spencer / Książka Miękka
common.buy 47.02 zł
Havada Neler Olmus / Książka Miękka
common.buy 64.96 zł
Tafelband Erich Nechtelberger / Książka Twarda
common.buy 510.25 zł
Diagnose Der Pflanzen-Gattungen: Nach Der Neuesten Ausgabe Des Linneischen Sexualfystems (1792) Georg Adolph Suckow / Książka Miękka
common.buy 159.53 zł
Nina: Calepin - Cadeau D'anniversaire Personnel De Licorne Pour Les Enfants Et Les Écoli?res Notes Magiques / Książka Miękka
common.buy 38.41 zł
Erntezeit Inge Sander / Książka Miękka
common.buy 39.12 zł
Voyage en Espagne Théophile Gautier / Książka Miękka
common.buy 44.18 zł
Monstruario IÑAKI / Książka Miękka
common.buy 52.70 zł
Catalogue Historique Des Generaux Francais, Connetables, Marechaux de France, Lieutenants Generaux De La Roque-L / Książka Miękka
common.buy 86.86 zł
Endülüs Sultani Muriel Romana / Książka Miękka
common.buy 51.99 zł

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.

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 David Basin, Michael Rusinowitch
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 491
EAN 9783540223450
ISBN 3540223452
Kod Libristo 01559566
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1580
Wymiary 155 x 235 x 28

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
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 > 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
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ć

BARNYARD BANTER Denise Fleming / Książka Miękka
common.buy 36.08 zł
Social relations,knowledge management,and organizational performance Yi-Chen Wu / Książka Miękka
common.buy 214.07 zł
100 First Animals DK / Książka Leporelo
common.buy 47.63 zł
Their Finest Hour Winston Churchill / Książka Miękka
common.buy 83.31 zł
Anthology of Spanish Song Maria DiPalma / Książka Miękka
common.buy 82.60 zł
Medford Anthony Mitchell Sammarco / Książka Miękka
common.buy 89.29 zł
Darwinism - An Exposition of the Theory of Natural Selection Alfred Russell Wallace / Książka Miękka
common.buy 168.05 zł
Eat What You Love: A Diabetic Cookbook of Comforting, Balanced Meals for a Healthy Low-Carb Life Sonoma Press / Książka Miękka
common.buy 61.21 zł
Little Bird L J Raven / Książka Miękka
common.buy 83.01 zł
Essential Portuguese Grammar Alexander Prista / Książka Miękka
common.buy 39.62 zł
Portuguese for Beginners: The Best Handbook for Learning to Speak Portuguese Getaway Guides / Książka Miękka
common.buy 79.56 zł
Unyielding Resolve Pratik Chougule / Książka Miękka
common.buy 92.33 zł
Rescue From Camp Wildwood Timothy Peters / Książka Miękka
common.buy 44.18 zł
Kafkaesque Peter Kuper / Książka Twarda
common.buy 72.87 zł
The Icarus Icaros Traci Shin / Książka Miękka
common.buy 59.59 zł
Handbook of Biomaterials Biocompatibility Masoud Mozafari / Książka Miękka
common.buy 1 288.61 zł
Calligraphy Workbook: Calligraphy Practice Sheets to Write in - 120 Sheet Pad Calligrapher Press / Książka Miękka
common.buy 44.18 zł
Cicero as Evidence Lintott / Książka Miękka
common.buy 359.32 zł
Unknown to History Charlotte Mary Yonge / Książka Miękka
common.buy 88.07 zł
Searching Skills Toolkit - Finding the Evidence 2e Caroline De Brún / Książka Miękka
common.buy 135.31 zł
Poem of Job Edward G. King / Książka Miękka
common.buy 135.51 zł
Different Perspective on the Patient Protection and Affordable Care Act Chinyere Ogbonna / Książka Miękka
common.buy 221.16 zł
Chickens of Atlantis and Other Foul and Filthy Fiends Robert Rankin / Książka Miękka
common.buy 58.78 zł
Invent with Inventor Yoofi Garbrah-Aidoo / Książka Miękka
common.buy 317.76 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?