Term indexing
By: Peter Graf.
Series: Lecture notes in computer science ;; 1053.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1053.; Lecture notes in computer science.
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 284
Subjects: Automatic theorem proving; Expert systems (Computer science); Artificial intelligence; Indexing
Notes: Includes bibliographical references (p. [275]-280) and index.