Back to Results
First PageMeta Content



Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer
Add to Reading List

Document Date: 2014-08-27 11:30:50


Open Document

File Size: 200,00 KB

Share Result on Facebook
UPDATE