पुस्तकें — first-order logic

कृत्रिम बुद्धिमत्ता: एक आधुनिक दृष्टिकोण। चौथा संस्करण। खंड 1। समस्या समाधान: ज्ञान और तर्क