595122957  

Term indexing / Peter Graf

Englisch

Berlin [u.a.] : Springer, c 1995

Saarbrücken

Online-Ressource (XIV, 284 S.)

Literaturverz. S. [275] - 280

Druckausg.: Term indexing. - Berlin [u.a.] : Springer, 1996. - XIV, 284 S

Teilw. zugl.: Saarbrücken, Univ., Diss., 1995

Weitere Ausgaben: 3-540-61040-5 (Druckausgabe), 978-3-540-61040-3 (Druckausgabe)

DOI: 10.1007/3-540-61040-5

*Automatisches Beweisverfahren / Indizierung

*Computer science ; Artificial intelligence ; Logic, Symbolic and mathematical

*Mathematical Logic and Formal Languages ; Computer Science ; Mathematical Logic and Foundations ; Artificial Intelligence (incl. Robotics)

Dewey Dezimal-Klassifikation: 006.3;

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / SS 4000-SS 5999 Schriftenreihen (indiv. Sign.) / Lecture notes in computer science

Regensburger Verbund-Klassifikation: ST 285: SQ-SU Informatik / ST Monografien / ST 230-ST 285 Software und -entwicklung / Computer supported cooperative work (CSCW), Groupware

 

Online-Ausg.

Berlin [u.a.] : Springer, 2006

Berlin [u.a.] : Springer

Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.

http://dx.doi.org/10.1007/3-540-61040-5 [E-books (Springer)]