4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
home page
workshop proposal
call for papers
important dates
program comittee
accepted papers
program
proceedings
Last modified: Fri Jan 5 17:45:19 CET 2001
BG