Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Information Retrieval in a Coq Proof Library using Type Isomorphisms
[DEL99] Information Retrieval in a Coq Proof Library using Type Isomorphisms
Conférence Internationale avec comité de lecture : January 1999, Vol. 1956, pp.131-147,
motcle:
| @inproceedings { | |||
| DEL99, | |||
| title | = | "{Information Retrieval in a Coq Proof Library using Type Isomorphisms}", | |
| author | = | " D. Delahaye ", | |
| year | = | 1999, | |
| month | = | "January", | |
| volume | = | 1956, | |
| pages | = | "131-147", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |