Prolog'un mantık programlamaya genişletilmesi

Benzer Tezler

1. Tez No

   123433

   Matematiksel mantık ile programlama

   Programming with mathematical logic

   YEŞİM GÖĞÜN

   Yüksek Lisans

   

   Türkçe

   2002

   MatematikHacettepe Üniversitesi

   Matematik Ana Bilim Dalı

   PROF. DR. L. MİCHAEL BROWN

2. Tez No

   177160

   Experiments in integrating constraints with logical reasoning for robotic planning within the twelf logical framework and the prolog language

   Robotik planlamayı gerçekleştirmek için mantıksal muhakeme ile kısıtlamaların twelf mantıksal çatısı ve prolog dili içerisinde birleştirilmesine yönelik denemeler

   MERT DUATEPE

   Yüksek Lisans

   

   İngilizce

   2008

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   YRD. DOÇ. DR. ULUÇ SARANLI

3. Tez No

   7787

   Prolog öğreten akıllı öğretim sistemleri

   Başlık çevirisi yok

   ELİF DEMİRÖRS

   Yüksek Lisans

   

   Türkçe

   1989

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

   Bilgisayar Mühendisliği Ana Bilim Dalı

   PROF. DR. EMRAH ORHUN

4. Tez No

   39883

   Endüstri mühendisliğinde uzman sistemler ve proje yönetim yazılımı seçimine bir uzman sistem yaklaşımı

   Expert systems in industrial engineering and an expert system approach to selecting project management software

   SÜREYYA FİDAN

   Doktora

   

   Türkçe

   1994

   Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

   PROF.DR. RAMAZAN EVREN

5. Tez No

   221938

   Uzman sistemlerin yasal düzenlemelere uygulanarak akıllı veri tabanlarının geliştirilmesi

   Development of intelligent databases by applying expert systems on legal regulations

   HİKMET TOSYALI

   Yüksek Lisans

   

   Türkçe

   2008

   Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolMaltepe Üniversitesi

   Bilgisayar Mühendisliği Bölümü

   PROF. DR. E. MURAT ESİN