Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings (Lecture Notes in Computer Science, Band 13137)

Allgemein

Marke
Sergei Artemov

Eigenschaften

Menü