Showing 1 - 1 results of 1 for search 'Renate A. Schmidt', query time: 0.02s
Refine Results
-
1
Automated Synthesis of Tableau Calculi by Renate A. Schmidt, Dmitry Tishkovsky
Published 2011-05-01
Article