Now showing items 1-1 of 1

    • FDL: A Prototype Formal Digital Library 

      Allen, Stuart; Bickford, Mark; Constable, Robert; Eaton, Richard; Kreitz, Christoph; Lorigo, Lor (Cornell University, 2004-06-16)
      This manual describes the first prototype of a new kind of system which we call a Formal Digital Library (FDL). We designed the system and assembled the prototype as part of a research project sponsored by the Office of ...