Automated Deduction in Classical and Non-Classical Logics : Selected Papers /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Berlín, Alemania :
Springer,
2000, c2000
|
| Շարք: | (Lecture Notes in Computer Science)
|
| Առցանց հասանելիություն: | Ver documento en línea |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր: Automated Deduction in Classical and Non-Classical Logics :
- Belief Revision in Non-Classical Logics /
- David Makinson on Classical Methods for Non-Classical Problems /
- Algebraic and Proof-theoretic Aspects of Non-classical Logics : Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday /
- Automated Deduction in Geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
- Modernity's Classics /
- Automated Deduction in Geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /