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
Justification Logic: Reasoning with Reasons: 216 (Cambridge Tracts in Mathematics, Series Number 216)
by Melvin Fitting, Sergei Artemov
ISBN 13: 9781108424912
Format: Hardcover (267 pages) Publisher: Cambridge University Press Published: 30 Jun 2019
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