The Barwise-Seligmanentation Systems: A Philosophical Explication
書誌事項
- タイトル
- The Barwise-Seligmanentation Systems: A Philosophical Explication
- 著者
- Shimojima, and Dave Barker-Plummer
収録刊行物
-
- Diagrammatic Representation and Inference: Eighth International Conference, Diagrams, Proceedings. LNAI 8578, Springer, Berlin
-
Diagrammatic Representation and Inference: Eighth International Conference, Diagrams, Proceedings. LNAI 8578, Springer, Berlin Proceedings 231-245, 2014