1. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 ; proceedings

by Basin, David | Rusinowitch, Michael.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 006.3 BAS] (1).
2. Machine learning with SVM and other kernel methods

by Soman, K. P | Ajay, V | Loganathan, R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: PHI Learning, 2009Availability: Items available for loan: [Call number: 006.31 SOM] (2).
3. Approaches to legal rationality

by Gabbay, Dov M.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2010Availability: Items available for loan: [Call number: 340.14 GAB] (1).

Powered by Koha