Koha online

1.
From semantics to computer science : essays in honour of Gilles Kahn

by Bertot, Yves.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2009Availability: Items available for loan: [Call number: 004 BER] (1).
Place hold
2.
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions

by Bertot, Yves | Casteran, Pierre.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin Springer 2004Availability: Items available for loan: [Call number: 004.015113 BER] (1).
Place hold

Powered by Koha