Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562445
Price: 103.07 EUR
Availability: InStock
Author: Ulrich Furbach
ISBN: 9783540371878

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

Ulrich Furbach

Natarajan Shankar

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01562445

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2006

Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2... Volledige beschrijving

Libristo-code: 01562445

249 b

103.07 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Spieltheorie fur Dummies Erwin Amann

Gebonden (paperback)

15.79 €

Velké logopedické pexeso 2 Ilona Eichlerová

Gebonden (paperback)

6.57 €

Strafrechtliche und strafprozessuale Abhandlungen. Bd.1 Karl Binding

Gebonden (paperback)

141.15 €

Mirai Nikki 06 Sakae Esuno

Gebonden (paperback)

10.82 €

Wheatgrass: (Hierba de Trigo) Neil Stevens

Gebonden (paperback)

10.32 €

Guia Practica del Rolex Vintage Colin A. Whte

Gebonden (paperback)

44.04 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Reasoning

Auteur Ulrich Furbach, Natarajan Shankar

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2006

Aantal pagina's 688

EAN 9783540371878

ISBN 3540371877

Libristo-code 01562445

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 2140

Afmetingen 152 x 229 x 38

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

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