
Logical Foundations of Computer Science
- International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
- Herausgegeben:Artemov, Sergei; Nerode, Anil
- Kartoniert,
- Springer, Berlin
- (2019)
54,99 €
inkl. MwSt.
zzgl. Versandkosten
lieferbar in 1-3 Werktagen
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. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical ...
Weiterempfehlen:
DETAILS
- Logical Foundations of Computer Science
- International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings
- Kartoniert, x, 287 S.
- X, 287 p. 418 illus., 3 illus. in color.
- Sprache: Englisch
- 235 mm
- ISBN-13: 978-3-030-36754-1
- Titelnr.: 80752503
- Gewicht: 458 g
- Springer, Berlin (2019)
Herstelleradresse
Springer Heidelberg
Tiergartenstr. 17
69121 - DE Heidelberg
E-Mail: buchhandel-buch@springer.com
Bewertungen (0)
Jetzt bewerten