Goal-directed proofs as multi-tool

Speaker(s) Dagmar Provijn
Date 7 February 2011
Place Rotterdam, Netherlands
Occasion EIPE Research Seminars
Category Invited