Proof, Computation and Agency Logic at the Crossroads /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Համատեղ հեղինակ: | |
| Այլ հեղինակներ: | , |
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Dordrecht :
Springer Netherlands,
2011.
|
| Շարք: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
| Խորագրեր: | |
| Առցանց հասանելիություն: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| Ֆիզիկական նկարագրություն: | digital. |
|---|---|
| ISBN: | 9789400700802 |
| DOI: | 10.1007/978-94-007-0080-2 |