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

Détails

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
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 scientifique
Duparc Jacques, Henzinger Thomas A.
Volume
4646
Langue
anglais
Création de la notice
07/07/2021 11:36
Dernière modification de la notice
08/07/2021 5:36
Données d'usage