Browsing by Subject automated deduction in geometry

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
17-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33