Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

MLA

Artemov, and Anil Nerode. Logical Foundations of Computer Science: International Symposium, Lfcs 2020, Deerfield Beach, Fl, Usa, January 4–7, 2020, Proceedings. Springer International Publishing, 2020.

APA

Artemov, A., & Nerode, A. (2020). Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. Springer International Publishing.

Chicago

Artemov, and Anil Nerode. Logical Foundations of Computer Science: International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings. : Springer International Publishing, 2020.