Logical matrix generation and testing

9th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0012866 ◽

2005 ◽

pp. 685-693 ◽

Cited By ~ 1

Author(s):

Peter K. Malkin ◽

Errol P. Martin

Download Full-text