A Labelled System for IPL with Variable Splitting
Talk
July 17, 2007
CADE-21 2007, Bremen, Germany
Presentation of the paper A Labelled System for IPL with Variable Splitting under CADE-21 (21st Conference on Automated Deduction).
Presentation of the paper A Labelled System for IPL with Variable Splitting under CADE-21 (21st Conference on Automated Deduction).