28309

4382051

Sergei Artemov

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Springer

2016

9783319276823 ; 9783319276823 ; 9783319276823 ; 9783319276830 ; 9783319276830 ; 9783319276830