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

Titre(s) : Handbook of logic in computer science. Background. Vol. 2, Computational structures [Texte imprimé] / edited by S. Abramsky,... Dov M. Gabbay,... and T. S. E. Maibaum,...

Lien au titre d'ensemble : Appartient à : Handbook of logic in computer science  Voir toutes les notices liées

Publication : Oxford : Clarendon press, 1992

Description matérielle : 1 vol. (X-571 p.) : ill. ; 24 cm

Collection : Oxford science publications

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

Note(s) : Notes bibliogr.

Autre(s) auteur(s) : Abramsky, Samson (1953-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Gabbay, Dov M. (1945-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Maibaum, Thomas S. E. (1947-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Informatique  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004.015 113 (23e éd.) = Informatique - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853761-1

Identifiant de la notice  : ark:/12148/cb374352681

Notice n° :  FRBNF37435268