Produktbild 1
  • 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

1

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 ...

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
Gesamtsummeinkl. MwSt.

Sie haben bisher keine Artikel in deinen Warenkorb gelegt. Bitte verwenden Sie hierfür den Button 'kaufen'.