Presenting Intuitive Deductions via Symmetric Simplification

Authors:
Frank Pfenning;Dan Nesmith
Affiliations:
-;-
Venue:
Proceedings of the 10th International Conference on Automated Deduction
Year:
1990

Citing 0
Cited 3

Herbrand Award Acceptance Speech

Journal of Automated Reasoning
Proof transformation with built-in equality predicate

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Path-focused duplication: a search procedure for general matings

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract