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

Titre(s) : Computational logic [Texte imprimé] / [Proceedings of the NATO Advanced Study Institute on computational logic, held in Marktoberdorf, Germany, July 29-August 10, 1997] ; ed. by Ulrich Berger,... Helmut Schwichtenberg,...

Publication : Berlin ; Heidelberg ; New York [etc.] : Springer, cop. 1999

Description matérielle : 444 p. : ill. ; 24 cm

Collection : NATO ASI series. Series F : computer and systems sciences ; 165

Lien à la collection : NATO ASI series. Series F : Computer and systems sciences  Voir toutes les notices liées

Note(s) : Réunit les actes du congrès tenu à Marktoberdorf (Allemagne) du 29 juillet au 10 août 1997. - Bibliogr. à la fin de chaque chap.

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

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

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

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

Identifiant de la notice  : ark:/12148/cb373207126

Notice n° :  FRBNF37320712