MANTIKSAL YAPILARIN AKILLI TANINMASI ve PROGRAMLANMASI İÇİN ALGORİTMİK VE YAZILIM ARAÇLARININ TASARIMI
Tez Türü: Doktora
Tezin Yürütüldüğü Kurum: Moskova Devlet Teknik Üniversitesi, Bilgisayar Mühendisliği , Bilgisayar Mühendisliği, Rusya
Tez Danışmanı: Prof.Dr. V. Gorbatov
Tezin Onay Tarihi: 1990
Tezin Dili: Rusça