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

Titre(s) : Advances in temporal logic [Texte imprimé] / ed. Howard Barringer, Michael Fisher, Dov Gabbay... [et al.]

Publication : Dordrecht ; Boston ; London : Kluwer academic publ., cop. 2000

Description matérielle : IX-453 p. : ill. ; 25 cm

Collection : Applied logic series ; 16

Lien à la collection : Applied logic series  Voir toutes les notices liées

Note(s) : D'après un congrès international qui s'est tenu à Manchester, GB, en 1997. - Bibliogr. en fin d'articles.

Sujet(s) : Logique informatique  Voir les notices liées en tant que sujet
Bases de données spatio-temporelles  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 0-7923-6149-0 (rel.)

Identifiant de la notice  : ark:/12148/cb38977888m

Notice n° :  FRBNF38977888