Computer Science Logic
Détails
ID Serval
serval:BIB_A8EDD9B7E0F6
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
Computer Science Logic
Titre de la conférence
21st International Workshop, CSL 2007 16th Annual Conference of the EACSL Lausanne, Switzerland
Editeur
Springer
Statut éditorial
Publié
Date de publication
09/2007
Peer-reviewed
Oui
Volume
4646
Création de la notice
28/01/2008 15:36
Dernière modification de la notice
20/08/2019 15:13
Données d'usage
