Home Advanced Search

Advanced Search - Page 1

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 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

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

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)

Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

DJVU
English
Year: 1995
Author: Thomas Eiter, Georg Gottlob, Nicola Leone (auth.), V. Wiktor Marek, Anil Nerode, M. Truszczyński (eds.)

Logic Programming And Nonmonotonic Reasoning: 4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings

DJVU
English
Year: 1997
Author: Joxan Jaffar, Bing Liu, Roland H. C. Yap (auth.), Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.)

Hybrid Systems II

DJVU
English
Year: 1995
Author: Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (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

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

EPUB
English
Year: 2023
Author: Anil Nerode; Noam Greenberg