Theorem Testing by Computer

1983 ◽  
pp. 271-275 ◽  
Author(s):  
B. Dunham ◽  
J. H. North
Sign in / Sign up

Export Citation Format

Share Document