Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Graf, Peter (1966-.... ; physicien)  Voir les notices liées en tant qu'auteur

Titre(s) : Term Indexing [Texte électronique] / edited by Peter Graf

Publication : Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1995

Description matérielle : 1 online resource

Collection : Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1053

Note(s) : L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Théorie de la démonstration  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet
Théorèmes -- Démonstration automatique  Voir les notices liées en tant que sujet
Indexation (documentation)  Voir les notices liées en tant que sujet
Systèmes experts (informatique)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  006.3 (23e éd.) = Intelligence artificielle et calcul naturel  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540498735

Identifiant de la notice  : ark:/12148/cb446935799

Notice n° :  FRBNF44693579 (notice reprise d'un réservoir extérieur)