Term indexing /

Bibliographic Details
Main Author:	Graf, Peter, 1966-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 1053. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. Expert systems (Computer science) Artificial intelligence. Indexing. démonstration théorème. algorithme. structure donnée. indexation terme. Automatische bewijsvoering. Indexeren. Théorèmes > Démonstration automatique. Preuve, Théorie de la. Indizierung <Informatik>. Automatisches Beweisverfahren. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online