26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Book title Buchtitel
26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
ISBN
9783959770453
Editor Herausgeber_in
Publisher Herausgeber
DROPS
Series Schriftenreihe
Leibniz International Proceedings in Informatics
Volume Band
82
Access Type
Date issued
Publication Type
Results 1-1 of 1 (Search time: 0.001 seconds).