Wyoming

Building Interactive Digital Libraries of Formal Algorithmic Knowledge
--------------------
 

This research is funded by:

Office of Naval Research through ONR N00014-01-1-0765 Program Manager at ONR Ralph Wachter
National Science Foundation through NSF CCR-9985239