THINKER
Authors:
Francis Jeffry Pelletier
Affiliations:
-
Venue:
Proceedings of the 8th International Conference on Automated Deduction
Year:
1986
Citing
0
Cited
1
Efficient reasoning
ACM Computing Surveys (CSUR)
Quantified Score
Hi-index
0.00
Visualization
Abstract