Proof, Computation and Agency Logic at the Crossroads /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Tác giả khác: | , |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Dordrecht :
Springer Netherlands,
2011.
|
| Loạt: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
352 |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://dx.doi.org/10.1007/978-94-007-0080-2 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Mô tả vật lý: | digital. |
|---|---|
| số ISBN: | 9789400700802 |
| DOI: | 10.1007/978-94-007-0080-2 |