Vertel uw vrienden over dit artikel:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library
Johan Van Benthem
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science.
400 pages, biography
Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 7 april 2011 |
ISBN13 | 9789400700796 |
Uitgevers | Springer |
Pagina's | 372 |
Afmetingen | 246 × 160 × 27 mm · 725 g |
Uitgever | Gupta, Amitabha |
Uitgever | Parikh, Rohit |
Uitgever | Van Benthem, Johan |
Alles tonen
Meer door Johan Van Benthem
Bekijk alles van Johan Van Benthem ( bijv. Paperback Book en Hardcover Book )