Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Computer Science Logic
häftad,
2008,
Engelska,
ISBN 9783540875307
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, …
Computer Science Logic
häftad,
1993,
Engelska,
ISBN 9783540569923
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the …