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

Auteur(s) : Workshop on computer science logic (06 ; 1992 ; San Miniato, Italie)  Voir les notices liées en tant qu'auteur

Titre(s) : Computer science logic [Texte imprimé] : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger, G Jäger, H. Kleine Büning,... [et al.] (eds)

Publication : Berlin : Springer-Verlag, cop. 1993

Description matérielle : viii, 439 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 702

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

Note(s) : Bibliogr. en fin de chapitre

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-56992-8 (br.)

Identifiant de la notice  : ark:/12148/cb390828913

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