TY - BOOK A1 - Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.) TI - Logic programming and nonmonotonic reasoning : PB - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی SN - 89975233 UR /book/89975233/Logic-programming-and-nonmonotonic-reasoning/ ER -