Proof in C17 Algebra

Research output: Contribution to journal › Article › peer-review

Cite this

@article{46d0e6100c094f608091906fc0a59f5a,

title = "Proof in C17 Algebra",

author = "B. Larvor",

note = "[Full text of this article is not available in the UHRA]",

year = "2005",

language = "English",

volume = "5",

pages = "43--59",

journal = "cial",

issn = "1281-2463",

publisher = "Numdam (Numerisation de Documents Anciens Mathematiques)",

}