A goal-directed proof procedure for abduction.

Speaker(s) Dagmar Provijn
Date 23 November 2009
Place Paris, France
Occasion Séminaire PHILFORM
Category Invited