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