Automated geometry theorem proving.


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 1993

Tezin Dili: İngilizce

Öğrenci: Deniz Ede

Danışman: GÖKTÜRK ÜÇOLUK