Vertel uw vrienden over dit artikel:
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
Johan Van Benthem
Proof, Computation and Agency: Logic at the Crossroads - Synthese Library 2011 edition
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.
372 pages, biography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 29 mei 2013 |
ISBN13 | 9789400735811 |
Uitgevers | Springer |
Pagina's | 372 |
Afmetingen | 155 × 235 × 20 mm · 553 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 )