Home Advanced Search

Advanced Search - Page 1

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

PDF
English
Year: 2021
Author: Sergei Artemov (editor), Anil Nerode (editor)

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

PDF
English
Year: 2020
Author: Sergei Artemov, Anil Nerode

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

DJVU
English
Year: 1997
Author: Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

PDF
English
Year: 2007
Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

PDF
English
Year: 2007
Author: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

PDF
English
Year: 2013
Author: Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

PDF
English
Year: 2009
Author: Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics)

PDF
English
Year: 2019
Author: Sergei Artemov, Melvin Fitting

Logic for Applications

PDF
English
Year: 1997
Author: Shore, Richard A.;Nerode, Anil

Algebraic Curves and Riemann Surfaces for Undergraduates: The Theory of the Donut

PDF
English
Year: 2023
Author: Anil Nerode, Noam Greenberg