automated reasoning
-
yapay zeka'nin inceleme alanlarindan biri. mesela bilgisayarin sizin yerinize kasip teorem ispatlamasi automated reasoning'in en gelismis alanlarindan birisidir.
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap