Skip to content
Vinony

Anil Nerode

No biography available.

Works (7)

Cover of Logic for applications
Logic for applications
1993
Cover of Logic programming and non-monotonic reasoning
Logic programming and non-monotonic reasoning
Cover of Logical foundations of computer science
Logical foundations of computer science
Cover of Logical methods
Logical methods
Cover of Logical foundations of computer science--Tver '92
Logical foundations of computer science--Tver '92
Cover of Logical methods
Logical methods
Cover of Logic programming and non-monotonic reasoning
Logic programming and non-monotonic reasoning