- Author: Anil Nerode, Noam Greenberg
- Language: English
- Year: 2023
- Author: Anil Nerode Noam Greenberg
- Language: English
- Year: 2023
应用逻辑
pdf
- Author: Anil Nerode Richard A.Shore
- Language: Chinese
- Year: 2007
Logic programming and non-monotonic reasoning : proceedings of the second international workshop
djvu
- Author: Luís Moniz Pereira, Anil Nerode
- Language: English
- Year: 1993
- Author: Anil Nerode Richard A. Shore
- Language: English
- Year: 1997
- Author: Anil Nerode Richard A. Shore
- Language: English
- Year: 1997