NEWMAN'S LEMMA – A CASE STUDY IN PROOF AUTOMATION AND GEOMETRIC LOGIC
2004 ◽
pp. 267-282
◽
Keyword(s):
Keyword(s):
1996 ◽
Vol 54
◽
pp. 636-637
1982 ◽
Vol 46
(6)
◽
pp. 314-322
1996 ◽
Vol 60
(4)
◽
pp. 348-350