Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Workshop on computer science logic (19 ; 2005 ; Oxford, UK)  Voir les notices liées en tant qu'auteur

Titre(s) : Computer Science Logic (vol. # 3634) [Texte électronique] : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / edited by Luke Ong

Titre d'ensemble : Computer science logic

Publication : Berlin Heidelberg : Springer-Verlag, 2005

Description matérielle : 1 online resource (Online-Ressource.)

Collection : Lecture Notes in Computer Science ; 3634

Note(s) : In: Springer-Online

Autre(s) auteur(s) : Ong, Luke. Éditeur scientifique  Voir les notices liées en tant qu'auteur
European association for computer science logic. Annual conference (19 ; 2005 ; Oxford, GB). Fonction indéterminée  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 ; 005.101 51 (23e éd.) = Développement de logiciels - Principes mathématiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540318972

Voir aussi : Publication alternative dans un autre support/format : Computer science logic [Texte imprimé], ISBN 3540282319

Identifiant de la notice  : ark:/12148/cb446858751

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