[Information collected about STRATEGIES 2004. The original website at
http://www-leibniz.imag.fr/~boydelat/Strategies04/ doesn't exist
any more.]
IJCAR 2004 Workshop on
Strategies in Automated Deduction (STRATEGIES 2004)
July 4, 2004
Cork, Ireland
- Call for papers
- Programme
- Proceedings
5th International Workshop on Strategies in Automated Deduction (STRATEGIES 2004),
ENTCS,
Volume 125, Issue 2, Pages 1-164 (15 March 2005),
Edited by M.P. Bonacina; T. Boy de la Tour
Organizers and Co-Chairs