Home Advanced Search

Advanced Search - Page 1

Logic for Applications
  • PDF
  • English
  • Year: 1997
  • Author: Shore, Richard A.;Nerode, Anil
Logic for Applications
  • PDF
  • English
  • Year: 1997
  • Author: Anil Nerode, Richard A. Shore
Recursion Theory
  • DJVU
  • English
  • Year: 1985
  • Author: Nerode A., Shore R. (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
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
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo
  • DJVU
  • English
  • Year: 1990
  • Author: Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi
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)
Combinatorial Functors
  • PDF
  • English
  • Year: 1974
  • Author: J. N. Crossley, Anil Nerode (auth.)
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.)
search