Geometric theorem proving by integrated logical and algebraic reasoning
Takashi Matsuyama, Tomoaki NittaVolume:
75
Year:
1995
Language:
english
Pages:
21
DOI:
10.1016/0004-3702(94)00064-8
File:
PDF, 1.38 MB
english, 1995