Couverture : Term indexing

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Term indexing

Autre Première publication : 1996

Sujets

Systèmes experts (informatique) Théorèmes -- Démonstration automatique Indexation automatique

Éditions (1)

Couverture : Term indexing

Term indexing

Springer (Berlin) · 1996 · 9783540610403