Anil Nerode
Identifiers
- Open LibraryOL6254376A
Top Subjects
- Logic programming (1)
- Logic, Symbolic and mathematical (1)
- Computers, congresses (1)
- Electronic data processing (1)
- Logic, symbolic and mathematical (1)
Books by Anil Nerode
Total count: 6
-
Logic for applicationsSpringer-Verlag1993-01-01
-
Logic for ApplicationsIsland Press1993-01-01
-
Hybrid Systems VSpringer London, Limited2003-01-01
-
Logic and Computer ScienceLectures Given at the 1st Session of the Centro Internazionale Matematico Estivo Held at Montecatini Terme, Italy, June 20-28 1988Springer2006-01-01
-
Logical Foundations of Computer ScienceInternational Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, ProceedingsSpringer London, Limited2007-01-01
-
Algebraic Curves and Riemann Surfaces for UndergraduatesThe Theory of the DonutSpringer International Publishing AG2022-01-01