1. Computational logic in multi-agent systems : 4th international workshop, CLIMA IV Fort Lauderdale, Fl, USA, january 2004

by Dix, Jurgen | Leite, Joao.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 006.3 DIX] (1).
2. Nominal sets : names and symmentry in computer science

by Pitts, Andrew.

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

Powered by Koha