Více než 4 miliony titulů v angličtině i dalších jazycích! Objevte svůj nový příběh ještě dnes!

Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 9783540250517
Price: 2286 CZK
Availability: InStock

Autor: D. Hutter, W. Stephan

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer, Berlin

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

2 286 Kč

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

Informace o knize

Autor

D. Hutter, W. Stephan

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2005

Stránek

570

EAN

9783540250517

ISBN

3540250514

Enbook ID

01560370

Vydavatel

Springer, Berlin

Hmotnost

860

Rozměry

155 x 233 x 29

Kompletní popis

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.

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Mechanizing Mathematical Reasoning

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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

Zákaznicí kteří koupili tuto knihu koupili také

Microtrafico de drogas en ninas y adolescentes

Das Internet der Dinge

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums.