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

Auteur(s) : Workshop on computer science logic (02 ; 1988 ; Duisburg, Allemagne)  Voir les notices liées en tant qu'auteur

Titre(s) : CSL '88 [Texte imprimé] : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)

Publication : Berlin : Springer-Verlag, cop. 1989

Description matérielle : VI-399 p. : ill. ; 25 cm

Collection : Lecture notes in computer science ; 385

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. en fin de chapitre

Autre(s) auteur(s) : Börger, Egon (1946-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Kleine Büning, Hans (1948-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Richter, Michael M. (1938-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique informatique  Voir les notices liées en tant que sujet
Informatique -- Mathématiques  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 3-540-51659-X (br.)

Identifiant de la notice  : ark:/12148/cb39082902x

Notice n° :  FRBNF39082902 (notice reprise d'un réservoir extérieur)