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

Titre(s) : Logic of computation [Texte imprimé] : [proceedings of the NATO advanced study institute on logic of computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995] / Helmut Schwichtenberg (Ed.)

Publication : Berlin : Springer, cop. 1997

Description matérielle : 1 vol. (VI-394 p.) ; 24 cm

Collection : NATO ASI Series. series F, Computer and systems sciences ; Vol. 157

Lien à la collection : NATO ASI series  Voir toutes les notices liées

Autre(s) auteur(s) : Schwichtenberg, Helmut (1942-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

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

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-62963-7 (rel.)

Identifiant de la notice  : ark:/12148/cb37537599s

Notice n° :  FRBNF37537599