Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Titre(s) : Handbook of logic in artificial intelligence and logic programming [Texte imprimé]. Volume 4, Epistemic and temporal reasoning / ed. by Dov M. Gabbay,... and C. J. Hogger,... and J. A. Robinson,... ; vol. coord. Antony Galton

Publication : Oxford : Clarendon press, 1995

Description matérielle : XIX-529 p. : ill. ; 24 cm

Collection : Oxford science publications

Lien à la collection : Oxford science publications  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap. Index

Autre(s) auteur(s) : Gabbay, Dov M.. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Hogger, Christopher John. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Robinson, John Alan. Éditeur scientifique  Voir les notices liées en tant qu'auteur
Galton, Antony. Directeur de publication  Voir les notices liées en tant qu'auteur

Sujet(s) : Intelligence artificielle  Voir les notices liées en tant que sujet
Logique épistémique  Voir les notices liées en tant que sujet
Raisonnement  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 ; 511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet ; 005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853791-3 (rel.)

Identifiant de la notice  : ark:/12148/cb37461443w

Notice n° :  FRBNF37461443