Publication | Closed Access
On Verifying Hypotheses by Verifying Their Implicates
28
Citations
0
References
1954
Year
EngineeringAutomated ReasoningVerificationAutomated ProofProof TheoryLinguisticsPlausible Reasoning
No additional data available for this publication yet. Check back later!