Presenting intuitive deductions via symmetric simplification
Authors:
Frank Pfenning;Dan Nesmith
Affiliations:
-;-
Venue:
CADE-10 Proceedings of the tenth international conference on Automated deduction
Year:
1990
Citing
0
Cited
1
Classical type theory
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract