Formal Specifications for a Document Management Assistant

DOI10.1007/978-90-481-9112-3_19zbMath1206.68293OpenAlexW1615083645MaRDI QIDQ4930213

Daniel G. Schwartz

Publication date: 28 September 2010

Published in: Innovations in Computing Sciences and Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-90-481-9112-3_19

zbMATH Keywords

Dynamic Reasoning System

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Agent technology and artificial intelligence (68T42)

Related Items (1)

Dynamic Reasoning Systems

This page was built for publication: Formal Specifications for a Document Management Assistant