Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings / V.W. Marek, A. Nerode, M. Truszczyński (eds.)
V.W.(V.Wiktor) Marek, Anil Nerode, ほか
- 出版社
- Springer-Verlag
- 発売日
- 1995-01-01
- ISBN
- 9783540594871