Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Reasoning

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Automated Reasoning David Basin
Libristo-code: 01559566
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2004
This book constitutes the refereed proceedings of the Second International Joint Conference on Autom... Volledige beschrijving
? points 249 b
103.07 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Die Haut der Träume Raymond Queneau / Boek Gebonden (paperback)
common.buy 13.56 €
Luoghi, lingue, contatto. Italiano, dialetti e francoprovenzale in Puglia Alessandro Bitonti / Boek Gebonden (paperback)
common.buy 25.91 €
Wish, Asha et la bonne étoile 07 Walt Disney company / Boek Gebonden (paperback)
common.buy 9.41 €
PSYCHOANALÝZA VŠEDNOSTI Jan Stern / Boek Boek
common.buy 10.12 €
Война и мир. Кн.2, [тт. 3, 4 Лев Толстой / Boek Gebonden (harde band)
common.buy 23.99 €
Acer japonicum Aurélien Gouttenoire / Boek Gebonden (paperback)
common.buy 14.67 €
LA ROSE ET LA BAGUE THACKERAY / Boek Gebonden (paperback)
common.buy 20.85 €
Et Sarah se libéra Spencer / Boek Gebonden (paperback)
common.buy 10.93 €
Havada Neler Olmus / Boek Gebonden (paperback)
common.buy 15.18 €
Tafelband Erich Nechtelberger / Boek Gebonden (harde band)
common.buy 119.28 €
Diagnose Der Pflanzen-Gattungen: Nach Der Neuesten Ausgabe Des Linneischen Sexualfystems (1792) Georg Adolph Suckow / Boek Gebonden (paperback)
common.buy 37.36 €
Nina: Calepin - Cadeau D'anniversaire Personnel De Licorne Pour Les Enfants Et Les Écoli?res Notes Magiques / Boek Gebonden (paperback)
common.buy 9.00 €
Erntezeit Inge Sander / Boek Gebonden (paperback)
common.buy 9.10 €
Voyage en Espagne Théophile Gautier / Boek Gebonden (paperback)
common.buy 10.32 €
Monstruario IÑAKI / Boek Gebonden (paperback)
common.buy 12.95 €
Catalogue Historique Des Generaux Francais, Connetables, Marechaux de France, Lieutenants Generaux De La Roque-L / Boek Gebonden (paperback)
common.buy 20.34 €
Endülüs Sultani Muriel Romana / Boek Gebonden (paperback)
common.buy 12.24 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Reasoning
Auteur David Basin, Michael Rusinowitch
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 491
EAN 9783540223450
ISBN 3540223452
Libristo-code 01559566
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1580
Afmetingen 155 x 235 x 28

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

BARNYARD BANTER Denise Fleming / Boek Gebonden (paperback)
common.buy 8.39 €
Social relations,knowledge management,and organizational performance Yi-Chen Wu / Boek Gebonden (paperback)
common.buy 52.65 €
100 First Animals DK / Boek Leporello (harmonicaboek)
common.buy 11.84 €
Their Finest Hour Winston Churchill / Boek Gebonden (paperback)
common.buy 19.43 €
Anthology of Spanish Song Maria DiPalma / Boek Gebonden (paperback)
common.buy 20.44 €
Medford Anthony Mitchell Sammarco / Boek Gebonden (paperback)
common.buy 22.17 €
Darwinism - An Exposition of the Theory of Natural Selection Alfred Russell Wallace / Boek Gebonden (paperback)
common.buy 39.28 €
Eat What You Love: A Diabetic Cookbook of Comforting, Balanced Meals for a Healthy Low-Carb Life Sonoma Press / Boek Gebonden (paperback)
common.buy 14.27 €
Little Bird L J Raven / Boek Gebonden (paperback)
common.buy 19.43 €
Essential Portuguese Grammar Alexander Prista / Boek Gebonden (paperback)
common.buy 9.81 €
Portuguese for Beginners: The Best Handbook for Learning to Speak Portuguese Getaway Guides / Boek Gebonden (paperback)
common.buy 18.62 €
Unyielding Resolve Pratik Chougule / Boek Gebonden (paperback)
common.buy 22.88 €
Rescue From Camp Wildwood Timothy Peters / Boek Gebonden (paperback)
common.buy 10.32 €
Kafkaesque Peter Kuper / Boek Gebonden (harde band)
common.buy 18.01 €
The Icarus Icaros Traci Shin / Boek Gebonden (paperback)
common.buy 13.96 €
Handbook of Biomaterials Biocompatibility Masoud Mozafari / Boek Gebonden (paperback)
common.buy 301.35 €
Calligraphy Workbook: Calligraphy Practice Sheets to Write in - 120 Sheet Pad Calligrapher Press / Boek Gebonden (paperback)
common.buy 10.32 €
Cicero as Evidence Lintott / Boek Gebonden (paperback)
common.buy 88.29 €
Unknown to History Charlotte Mary Yonge / Boek Gebonden (paperback)
common.buy 20.55 €
Searching Skills Toolkit - Finding the Evidence 2e Caroline De Brún / Boek Gebonden (paperback)
common.buy 31.68 €
Poem of Job Edward G. King / Boek Gebonden (paperback)
common.buy 35.03 €
Different Perspective on the Patient Protection and Affordable Care Act Chinyere Ogbonna / Boek Gebonden (paperback)
common.buy 57.20 €
Chickens of Atlantis and Other Foul and Filthy Fiends Robert Rankin / Boek Gebonden (paperback)
common.buy 13.76 €
Invent with Inventor Yoofi Garbrah-Aidoo / Boek Gebonden (paperback)
common.buy 82.11 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?