Comput. Sci. Dept., Univ. of Crete, Heraklion, Greece;
digital libraries; digital preservation; inference mechanisms; information retrieval systems; Epimenides; automatic reasoning; converters; digital archives; digital artifacts; digital collection; digital libraries; digital object; digital preservation; emulators; human effort; modelling approach; Cognition; Computer science; Computers; Emulation; Resource description framework; Smart phones; Software;
机译:迈向连接信息系统和数字保存服务的自动化操作流程
机译:使用保存行动注册管理机构自动化数字保存
机译:ALA认可的研究生课程中的数字保存课程课程分析
机译:脱胶剂:一种信息系统,为数字保存需求提供自动推理
机译:桥梁管理系统(BMS)的新模型:桥梁维修优先等级系统(BRPRS),基于案例的桥梁劣化推理,成本优化和保存策略
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:基于语义Web服务的半自动数字保存系统
机译:用自动推理系统对数字系统属性的形式验证