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

Auteur(s) : Workshop on computer science logic (15 ; 2001 ; Paris)  Voir les notices liées en tant qu'auteur
European association for computer science logic. Annual conference (10 ; 2001 ; Paris)  Voir les notices liées en tant qu'auteur

Titre(s) : Computer science logic [Texte imprimé] : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.)

Publication : Berlin : Springer, cop. 2001

Description matérielle : XII-614 p. : ill. ; 24 cm

Collection : Lecture notes in computer science, ISSN 0302-9743 ; 2142

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

Note(s) : Bibliogr. en fin de chapitre. Index

Autre(s) auteur(s) : Fribourg, Laurent. Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Logique informatique  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

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-42554-3 (br.)

Identifiant de la notice  : ark:/12148/cb39082872t

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