Comments on "Algorithmic state machine design and automatic theorem proving: dual approaches to the same activity (original) (raw)
Related papers
Lecture Notes in Computer Science, 2004
1998
1999
members-archivists.ca
Advances in Preservation and Access, v1, 1992 (Book Review)
College Research Libraries, 1993
Reassessing Aptitude: Introduction to a Special Issue in Honor of Richard E. Snow
Http Dx Doi Org 10 1207 S15326985ep3802_2, 2010
The Emancipatory Justice Claim
SSRN Electronic Journal, 2011
Open archives Towards a policy of mandatory deposit? A
IDEALS Digital Preservation: Current Status and Future Directions
2006
Model-Based Development with Distributed Cognition
2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE)
Terminology and Wish List for a Formal Theory of Preservation
2007
Digital Archives and Preservation
SpringerReference
Determining Copyright Status for Preservation and Access: Defining Reasonable Effort
Library Resources Technical Services, 1997
The archive_as_relational_knowledge.pdf
Encyclopedia of the Sciences of Learning, 2012
Preservation and Curation in Institutional Repositories
2009
Isma Mistipah K E K E Y A N G K I T B H A R A T A Miskeyceh
Deposit Collections of Digital Publications
IGI Global eBooks, 2011
Seamus Ross, Margaret Hedstrom
4. Collection care and document handling
Remote Capture: Digitising Documentary Heritage in Challenging Locations, 2018
2009
The Reclamation of Archival Description: The Canadian Perspective
1990
The necessary interdisciplinarity in the digital preservation
The Journal of Academic Librarianship, 2005
Preservation Is Knowledge: A community-driven preservation approach
bnf.fr
Some preliminary ideas towards a theory of digital preservation
2007
The Power of the Archive and its Limits
Refiguring the Archive, 2002
Dépôt légal – Bibliothèque et Archives nationales du Québec
2015
Archive _ Knowledge Producers, Machines, Testimony
The Goals and Objectives of Collections Conservation
Restaurator, 1992
2017
Policy-based Preservation Environments: Policy Composition and Enforcement in iRODS 1
2011
Practical preservation and conservation strategies for librarians
Technical Services Quarterly, 2019
Libraries, metadata and preservation of electronic resources
2012
Patricia C. Franks, ed. Records and Information Management , 2018