Mechanizing Mathematical Reasoning

Name: Mechanizing Mathematical Reasoning
Brand: Springer, Berlin
SKU: 9783540250517
Price: 550.51 RON
Availability: InStock

Autor: D. Hutter, W. Stephan

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

550.51 lei

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

Informații despre carte

Autor

D. Hutter, W. Stephan

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2005

Pagini

570

EAN

9783540250517

ISBN

3540250514

Enbook ID

01560370

Editura

Springer, Berlin

Greutate

860

Dimensiuni

155 x 233 x 29

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Mechanizing Mathematical Reasoning

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

Microtrafico de drogas en ninas y adolescentes

Das Internet der Dinge

Die rechtlichen Rahmenbedingungen der wirtschaftlichen Nutzung des Weltraums.