Proof, Computation and Agency: Logic at the Crossroads - Couverture rigide

Livre 57 sur 304: Synthese Library
 
9789400700796: Proof, Computation and Agency: Logic at the Crossroads

Synopsis

This overview of modern logic and its relationship with other disciplines includes several articles that explore an inspiring new paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.

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

Autres éditions populaires du même titre

9789400735811: Proof, Computation and Agency: Logic at the Crossroads

Edition présentée

ISBN 10 :  9400735812 ISBN 13 :  9789400735811
Editeur : Springer, 2013
Couverture souple