DAML Bibliographies

The following DAML bibliographies have been automatically generated from preprocessed BibTex files.

Preprocessed BibTex file Automatically translated DAML bibliography
BibTex file with ca. 10000 entries DAML file
BibTex file with ca. 1300 entries DAML file
BibTex file with ca. 90 entries DAML file


Back to SRI's DAML Project Home Page
Back to Artifactory Home Page
Back to AI Center
Back to Computer Science Lab
Back to SRI International