Logic for Applications
 
Logic for Applications
by Anil Nerode, Richard A. Shore
No user ratings
Logic Programming and Nonmonotonic Reasoning: 4th International Conference, Lpnmr '97, Dagstuhl Castle, Germany, July 1997  Proceedings
 
Logic Programming and Nonmonotonic Reasoning: 4th International Conference, Lpnmr ...
by Anil Nerode, J. Dix, Ulrich Fuhrbach, Wadern, Germany) Lpnmr '9 (1997 Dagstuhl
No user ratings [rate this item]
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995  Proceedings
 
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnm...
by Anil Nerode, V. W. Marek, Mirosaw Truszczynski, Ky.) Lpnmr '9 (1995 Lexington
No user ratings