Handbook Of Practical Logic and Automated Reasoning - John Harrison
The Formation of Arab Reason: Text, Tradition and the Construction of Modernity in the Arab World (Contemporary Arab Scholarship in the Social Sciences)
The Formation of Arab Reason: Text, Tradition and the Construction of Modernity in the Arab World (Contemporary Arab Scholarship in the Social Sciences)
Knowledge Representation And Reasoning - Ronald J. Brachman and Hector J. Levesque