Meta-Logical Frameworks and Formal Digital Libraries [chapter]

Carsten Schürmann
2008 Lecture Notes in Computer Science  
doi:10.1007/978-3-540-69149-5_51 fatcat:23jhr6jginasfbdz7fsox4jfim