|
 
|
[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:
BibTeX
| @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", | |
| } | |||
