Geometric theorem proving by integrated logical and algebraic reasoning

Authors:
Takashi Matsuyama;Tomoaki Nitta
Affiliations:
-;-
Venue:
Artificial Intelligence - Special issue: AI research in Japan
Year:
1995

Citing 0
Cited 1

Beyond Simon's Means-Ends Analysis: Natural Creativity and the Unanswered `Why' in the Design of Intelligent Systems for Problem-Solving

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

Abstract