TY - BOOK A1 - / Chitta Baral, Gerhard Brewka, John Schlipf (eds.) TI - Logic programming and nonmonotonic reasoning PB - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران SN - 103405237 UR /book/103405237/Logic-programming-and-nonmonotonic-reasoning/ ER -