عنوان

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'97, Dagstuhl Castle, Germany, July 1997 : proceedings

1997: Dagstuhl, Wadern, Germany

New York

Springer-Verlag

c1997

x, 452 p.: ill

Lecture notes in computer science; 5621. Lecture notes in artificial intelligence(

Includes bibliographies

ISBN 3540632557

Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(

Congresses ، Logic programming

Congresses ، Nonmonotonic reasoning

L28

Vol

1265

AU Dix, Jurgen, 1961-

AU Furbach, Ulrich, 1948-

AU Nerode, Anil, 1932-

SE Lecture notes in computer science 1257

LPNMR