Details
Formal Digital Libraries (FDL) Project
|
|
A group of researchers at Cornell University, California Institute of Technology, and University of Wyoming are creating a digital library of algorithms and constructive mathematics that are usable for program and software construction. |
| Submitted by elementlist on Jan 27, 2007 |
| 894 views. Averaging 0 views per day. |
Please login or register if you wish to leave a comment.
Submit
New Links
Most Popular
Quick Search
Statistics
3,012 listings in 21 categories, with 2,256,504 clicks. Directory last updated Sep 12, 2023.
Welcome Amara Fatima, the newest member.
Comments on Formal Digital Libraries (FDL) Project