Automated Deduction Techniques for the Management of Personalized Documents

Peter Baumgartner, Ulrich Furbach. Automated Deduction Techniques for the Management of Personalized Documents. Annals of Mathematics and Artificial Intelligence, 38(1-3):211-228, 2003.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.