Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings


Book Informaton

Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

Author

Sergei Artemov; Anil Nerode

Series

Lecture Notes in Computer Science

Volume

13137

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

X, 377

Language

en

ISBN

9783030930998, 9783030931001

ARI Id

1665356150209


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.