| Titel | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Justification Logic: Reasoning with Reasons | | 978-1-108-42491-2 | 2019 | Melvin Fitting |
| Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings | | 978-3-540-72732-3 | 2007 | Anil Nerode |
| Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... Notes in Computer Science , Band 5407) | | 978-3-540-92686-3 | 2009 |
| Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings | | 978-3-642-35721-3 | 2012 | Anil Nerode |
| Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings | | 978-3-319-27682-3 | 2015 | " |
| Logical Foundations of Computer Science: International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings | | 978-3-319-72055-5 | 2017 | " |
| Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings | | 978-3-030-36754-1 | 2020 | " |