Mathematical Problems from Applied Logic II: Logics for the Xxist Century - Couverture rigide

 
9780387692449: Mathematical Problems from Applied Logic II: Logics for the Xxist Century
Couverture rigide
ISBN 10 : 0387692444 ISBN 13 : 9780387692449
Editeur : Springer-Verlag New York Inc., 2007

Synopsis

"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarász, István Németi, and Gergely, Székely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer Science and AI language. Coverage includes: the logic of provability, computability theory applied to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag New York Inc.
Date d'édition
2007
Langue
anglais
ISBN 10 
0387692444
ISBN 13 
9780387692449
Reliure
Relié
Numéro d'édition
2
Nombre de pages
354
Éditeur
Gabbay Dov, Goncharov Sergei, Zakharyaschev Michael
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9781441924087: Mathematical Problems from Applied Logic II: Logics for the XXIst Century

Edition présentée

ISBN 10 :  1441924086 ISBN 13 :  9781441924087
Editeur : Springer, 2010
Couverture souple