Proof, computation and agency logic at the crossroads
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 fro...
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | Electronic Resource |
| भाषा: | English |
| प्रकाशित: |
Dordrecht
Springer Netherlands
2011.
|
| श्रृंखला: | Synthese library
352. |
| विषय: | |
| ऑनलाइन पहुंच: | Available for the University of the Philippines Diliman via SpringerLink. Click here to access |