Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 9783540250517
Price: 38633 HUF
Availability: InStock

Szerző: D. Hutter, W. Stephan

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Berlin

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 633 Ft

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

Információk a könyvről

Szerző

D. Hutter, W. Stephan

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2005

oldal

570

EAN

9783540250517

ISBN

3540250514

Enbook ID

01560370

Kiadó

Springer, Berlin

Súly

860

Méretek

155 x 233 x 29

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Mechanizing Mathematical Reasoning

Információk a könyvről

Teljes leírás

Érdekelheti

Unraveled

Daughter of Redwinter

Principles

The Road To Easter: Easter Truth

Moonshine Speaks

Real Irish Cookery

Claude Mercoeur's Reflection and Other Strange Stories

Complete Literary Guide to the Bible

Buckling of Thin Metal Shells

What Do You Find in a Rainforest Tree?

Aural Design and Coherence in the Prologue of First John

Earthquakes and Water

Silver Sword

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Microtrafico de drogas en ninas y adolescentes

Das Internet der Dinge

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums.