Publication | Closed Access
Counter-Examples That (Only) Prove and Counter-Examples That (Also) Explain.
55
Citations
0
References
1997
Year
Unknown Venue
Automated ReasoningProof AssistantCounter-examples ThatProof TheoryMathematical Proof
No additional data available for this publication yet. Check back later!