1. Handbook of automated reasoning, Volume 1

by Robinson, J. Alan | Voronkov, Andrei | Voronkov, Andrei.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: The MIT Press, 2001Availability: Items available for loan: [Call number: 511.3 ROB] (1).
2. Cambridge handbook of thinking and reasoning

by Holyoak, Keith J | Morrison, Robert G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2005Availability: Items available for loan: [Call number: 153.42 HOL ] (1).

Powered by Koha