Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783319720555
Format: Paperback (380 pages) Publisher: Springer Published: 28 Nov 2017
Save for later