DMCA

Inverse Entailment for Full Clausal Theories (2001)

Cached

Download Links

by Katsumi Inoue
Venue:In: LICS-2001 Workshop on Logic and Learning
Citations:6 - 0 self