Showing
1 - 3
results of
3
for search '
Nerode, Anil, 1932-
'
Skip to content
University Library
Library Catalogue Plus
Toggle navigation
New Search
Subject Guides (including databases)
Your Account
Log Out
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
English
Catalogue
Articles Plus
All Fields
Title
Author
Subject
Shelfmark
ISBN/ISSN
Tag
Find
Advanced Search
Author
Nerode, Anil, 1932-
Showing
1 - 3
results of
3
for search '
Nerode, Anil, 1932-
'
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Shelfmark
Author
Title
1
Logic for applications / Anil Nerode, Richard A. Shore.
by
Nerode
,
Anil
,
1932
-
Published 1997
Edition:
2nd ed.
Shelfmark:
Loading...
Located:
Loading...
Book
Loading...
Save to List
Saved in:
2
Automata theory and its applications / Bakhadyr Khoussainov, Anil Nerode.
by
Khoussainov, Bakhadyr, 1961-
,
Nerode
,
Anil
,
1932
-
Published 2001
Shelfmark:
Loading...
Located:
Loading...
Book
Loading...
Save to List
Saved in:
3
Logic programming and non-monotonic reasoning proceedings of the second international workshop / edited by Luis Moniz Pereira and Anil Nerode.
Published 1993
Other Authors:
';
“
...
Nerode
,
Anil
,
1932
-...
”
Shelfmark:
Loading...
Located:
Loading...
Get full text
eBook
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
Related Subjects
Computer science
Logic programming
Logic, Symbolic and mathematical
Machine theory
Mathematics
Nonmonotonic reasoning
© 2017 Loughborough University. All rights reserved.
Loading...