System Description: Interface between Theorema And External Automated Deduction Systems (2001)

Cached

Download Links

by Temur Kutsia , Koji Nakagawa
Venue:In Linton and Sebastiani [175
Citations:3 - 0 self