OPAC_KOHA catalog › Results of search for 'au:"Bertot, Yves"'

Your search returned 2 results.

	1.	From Semantics to Computer Science: essays in honour of Gilles Kahn by Yves Bertot by Kahn, Gilles \| Huet, Gerard \| Bertot, Yves. Material type: Text Publication details: New York Cambridge University Press 2009Availability: Items available for reference: Not for loanCall number: REF 004 BER (1). : Request article Add to cart (remove)
	2.	Interactive Theorem Proving and Program Development : coq'art the Calculus of Inductive Constructions by Bertot, Yves \| Casteran, Pierre. Material type: Text Publication details: Berlin Springer Verlag 2004Availability: Items available for reference: Not for loanCall number: REF 511.3 BER (1). : Request article Add to cart (remove)