Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Erich Grädel, Reinhard Kahle (edición)
Formaat: Boek
Taal:Engels
Gepubliceerd in: Berlín, Alemania : Springer, 2009, c2009
Reeks:(Lecture Notes in Computer Science)
Online toegang:Ver documento en línea
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!