Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings: 9537 (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783319276823
Format: Paperback (420 pages) Publisher: Springer Published: 17 Jan 2016
Save for later
Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783319720555
Format: Paperback (380 pages) Publisher: Springer Published: 28 Nov 2017
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings: 7734 (Lecture Notes in Computer Science)
ISBN 13: 9783642357213
Format: Paperback (428 pages) Publisher: Springer Published: 21 Nov 2012