Automated deduction techniques for the management of personalized documents
From MaRDI portal
Publication:1810920
DOI10.1023/A:1022976016809zbMath1023.68083MaRDI QIDQ1810920
Peter Baumgartner, Ulrich Furbach
Publication date: 9 June 2003
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Related Items
Uses Software