Automated Deduction Techniques for the Management of Personalized Documents
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2002 S. 22
Erscheinungsjahr: 2002
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft: | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)
