|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| AspertiPadovaniSacerdotiCoenSchena01C (In proceedings) | |
| Author(s) | Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena |
| Title | « Formal Mathematics on the Web » |
| In | Proceedings of the Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01) |
| Volume | 1 |
| Page(s) | 342-346 |
| Year | 2001 |
| BibTeX code |
@inproceedings{AspertiPadovaniSacerdotiCoenSchena01C,
booktitle = {Proceedings of the Libraries and Associations in the Transient
World: New Technologies and New Forms of Cooperation
(Crimea'01)},
volume = {1},
title = {{Formal Mathematics on the Web}},
author = {Andrea Asperti and Luca Padovani and Claudio Sacerdoti Coen and
Irene Schena},
pages = {342-346},
year = {2001},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)