Automated Deduction Techniques for the Management of Personalized Documents
Annals of Mathematics and Artificial Intelligence. Bd. 38. H. 1-3. Dordrecht: Kluwer 2003 S. 211 - 228
Erscheinungsjahr: 2003
ISBN/ISSN: 1573-7470
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1023/A:1022976016809
Geprüft | Bibliothek |
Inhaltszusammenfassung