Anil Nerode
6 published titles
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
(Contributor)
1 edition
- ISBN: 0262640279
- MIT Press
- 1991
- Details
Logic programming and non-monotonic reasoning : proceedings of the second international workshop
(Contributor)
1 edition
- ISBN: 0262660830
- MIT Press
- 1993
- Details
Principles of logic and logic programming
(Contributor)
1 edition
- ISBN: 0444816445
- Elsevier
- 1996
- Details
Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540632557
- Springer
- 1997
- Details
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783642357213
- Springer
- 2013
- Details
Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, proceedings
(Contributor)
1 edition
- ISBN: 9783319276823
- Springer
- 2016
- Details
