First Page | Document Content | |
---|---|---|
Date: 2014-08-27 11:30:50 | 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 UniverAdd to Reading ListSource URL: comma2014.arg.dundee.ac.ukDownload Document from Source WebsiteFile Size: 200,00 KBShare Document on Facebook |