KRHyper – In Your Pocket

Automated Deduction – CADE-20 - Lecture Notes in Computer Science ◽

10.1007/11532231_33 ◽

2005 ◽

pp. 452-457 ◽

Cited By ~ 21

Author(s):

Alex Sinner ◽

Thomas Kleemann

Download Full-text