Tallenna
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. domain theory logics; logical foundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;
- Alaotsikko
- International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
- Toimittaja
- Sergei Artemov, Anil Nerode
- Painos
- 2020 ed.
- ISBN
- 9783030367541
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.12.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 287
