Home Advanced Search

Advanced Search - Page 1

Logic Programming and Non-Monotonic Reasoning: Proceedings of the Second International Workshop 1993
  • PDF
  • English
  • Year: 1993
  • Author: Luis Moniz Pereira, Anil Nerode
Representing a Computer Science Research Organization on the ACM Computing Classification System
  • PDF
  • English
  • Author: Boris Mirkin, Susana Nascimento, and Luis Moniz Pereira
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
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
Logic for Applications
  • PDF
  • English
  • Year: 1993
  • Author: Anil Nerode, Richard A. Shore
Logic for Applications
  • PDF
  • English
  • Year: 1997
  • Author: Anil Nerode, Richard A. Shore
Logic for Applications
  • DJVU
  • English
  • Year: 1997
  • Author: Anil Nerode, Richard A. Shore
Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.)
search