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.

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 01560370
Price: 103.07 EUR
Availability: InStock
Author: D. Hutter
ISBN: 9783540250517

D. Hutter

W. Stephan

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01560370

Uitgeverij Springer, Berlin, november 2004

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art... Volledige beschrijving

Libristo-code: 01560370

249 b

103.07 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Microtrafico de drogas en ninas y adolescentes Romero Miranda Luis Alejandro

Gebonden (paperback)

32.09 €

Das Internet der Dinge Wolfgang Odenthal

Gebonden (paperback)

12.65 €

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums. Stephan Hobe

Gebonden (paperback)

66.01 €

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

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 Mechanizing Mathematical Reasoning

Auteur D. Hutter, W. Stephan

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2005

Aantal pagina's 570

EAN 9783540250517

ISBN 3540250514

Libristo-code 01560370

Uitgeverij Springer, Berlin

Gewicht 860

Afmetingen 155 x 233 x 29

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 > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

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