Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Détails

Demande d'une copieDemande d'une copie
ID Serval
serval:BIB_FD141E63EE72
Type
Actes de conférence: ouvrage de compte-rendu (proceedings) ou édition spéciale d'un journal reconnu (conference proceedings) publié à l'occasion de conférences scientifiques.
Collection
Publications
Institution
UNIL/CHUV
Titre
Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Editeur
Springer
ISBN
978-3-540-74914-1
Date de publication
2007
Editeur⸱rice scientifique
Duparc Jacques, Henzinger Thomas A.
Volume
4646
Langue
anglais
OAI-PMH
oai:serval.unil.ch:BIB_FD141E63EE72
DOI
10.1007/978-3-540-74915-8
Site de l'éditeur
https://doi.org/10.1007/978-3-540-74915-8
Création de la notice
07/07/2021 12:36
Dernière modification de la notice
08/07/2021 6:36
Données d'usage