TY - BOOK A1 - edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran. TI - Logic Programming and Nonmonotonic Reasoning : PB - کتابخانه مطالعات اسلامی به زبان‌های اروپایی SN - 90229141 UR /book/90229141/Logic-Programming-and-Nonmonotonic-Reasoning/ ER -