A

Anil Nerode

1932

15 books found

Books by Anil Nerode
Logic for applicationsAnil Nerode
⏱ 6h 51m

Logic for applications

Anil Nerode

1993411 pp.
Logic for ApplicationsAnil Nerode
⏱ 7h 1m

Logic for Applications

Anil Nerode

1993421 pp.
Logical foundations of computer science--Tver '92Anil Nerode
⏱ 8h 34m

Logical foundations of computer science--Tver '92

Anil Nerode

1992514 pp.
Logical foundations of computer scienceAnil Nerode
⏱ 6h 32m

Logical foundations of computer science

Anil Nerode

1994392 pp.
Logical foundations of computer scienceAnil Nerode
⏱ 8h 33m

Logical foundations of computer science

Anil Nerode

2007513 pp.
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992Anil Nerode
⏱ 8h 34m

Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992

Anil Nerode

1992514 pp.
Logical Foundations of Computer ScienceAnil Nerode
⏱ 6h 41m

Logical Foundations of Computer Science

Anil Nerode

1994401 pp.
Logic for applicationsAnil Nerode
⏱ 6h 5m

Logic for applications

Anil Nerode

1993365 pp.
Logic programming and non-monotonic reasoningLuis Moniz Pereira
⏱ 8h 14m

Logic programming and non-monotonic reasoning

Luis Moniz Pereira

1993494 pp.
Recursion theoryAnil Nerode
⏱ 8h 48m

Recursion theory

Anil Nerode

1984528 pp.
Logical methodsAnil Nerode
⏱ 11h 22m

Logical methods

Anil Nerode

1993682 pp.
Algebraic Curves and Riemann Surfaces for UndergraduatesAnil Nerode

Algebraic Curves and Riemann Surfaces for Undergraduates

Anil Nerode

2022No page data
Automata theory and its applicationsBakhadyr Khoussainov
⏱ 7h 10m

Automata theory and its applications

Bakhadyr Khoussainov

2001430 pp.
Logical methodsAnil Nerode
⏱ 13h 33m

Logical methods

Anil Nerode

1993813 pp.
Logic programming and non-monotonic reasoningAnil Nerode
⏱ 4h 55m

Logic programming and non-monotonic reasoning

Anil Nerode

1991295 pp.