Autometed 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

Öğrenci: DENİZ EDE

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