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 - Philosophy of computer science - Document - PDFSEARCH.IO

First Page	Meta 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

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 List