Media type: Book; Thesis Title: Term indexing Contributor: Graf, Peter [Author] imprint: Berlin [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1053 Extent: XIV, 284 S.; graph. Darst Language: English ISBN: 3540610405 RVK notation: SS 4800 : Lecture notes in computer science ST 285 : Computer supported cooperative work (CSCW), Groupware Keywords: Automatisches Beweisverfahren > Indizierung Origination: University thesis: Teilw. zugl.: Saarbrücken, Univ., Diss., 1995 Footnote: Literaturverz. S. [275] - 280
Departmental Library DrePunct – stack Shelf-mark: R2016 8 3567 Item ID: 10012152 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.