 |
|
Theses
Contribution to formal calculation on computer
Contribution to formal calculation on computer
https://tel.archives-ouvertes.fr/tel-00009476
Contributor : Thèses Imag <>
Submitted on : Monday, June 13, 2005 - 5:28:42 PM
Last modification on : Friday, November 6, 2020 - 3:49:50 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:59:46 PM
Contributor : Thèses Imag <>
Submitted on : Monday, June 13, 2005 - 5:28:42 PM
Last modification on : Friday, November 6, 2020 - 3:49:50 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:59:46 PM