Deductive Argumentation by Enhanced Sequent Calculi and...

Electronic Notes in Theoretical Computer Science 2016 / 07 Vol. 323

Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations

Arieli, Ofer, Straßer, Christian
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
323
Language:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2016.06.003
Date:
July, 2016
File:
PDF, 240 KB
english, 2016
Conversion to is in progress
Conversion to is failed