Nerode, Anil. - ECU Libraries Catalog

Start Over

You searched for: author Nerode, Anil.

Showing 1 - 10 of 26 results

Search Results

Cover image for Algebraic Curves and Riemann Surfaces for Undergraduates The Theory of the Donut

Algebraic Curves and Riemann Surfaces for Undergraduates The Theory of the Donut

by Nerode, Anil
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Logic for applications

Logic for applications

by Nerode, Anil, 1932-
1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63 .N45 1993	✔ Available

Cover image for Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

1993
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.63 .L6323 1993	✔ Available

Cover image for Logic programming and non-monotonic reasoning

Logic programming and non-monotonic reasoning

1993
Format: Electronic

Location
Access Content Online

Cover image for Combinatorial functors

Combinatorial functors

by Crossley, John N.
1974
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA169 .C7	✔ Available

Cover image for Logical foundations of computer science

Logical foundations of computer science

by LFCS '97
1997
Format: Electronic

Location
Access Content Online

Cover image for Logical foundations of computer science

Logical foundations of computer science

by LFCS 2009
2009
Format: Electronic

Location
Access Content Online

Cover image for Logical foundations of computer science

Logical foundations of computer science

by LFCS (Symposium)
2013
Format: Electronic

Location
Access Content Online

Cover image for Logical foundations of computer science

Logical foundations of computer science

by LFCS 2007
2007
Format: Electronic

Location
Access Content Online

Cover image for Logical foundations of computer science

Logical foundations of computer science

by LFCS (Symposium)
1997
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA75.5 .L43 1997	✔ Available