MARC 主機 00000nam 2200000 a 4500
001 3540632557
008 970708s1997 gw a b 101 eng
010 97027551
020 3540632557 (softcover : alk. paper)
040 DLC|cDLC|dDLC
050 4 QA76.63|b.L74 1997
082 04 006.3/36|221
111 2 LPNMR '97|d(1997 :|cDagstuhl, Wadern, Germany)
245 10 Logic programming and nonmonotonic reasoning :|b4th
International Conference, LPNMR '97, Dagstuhl Castle,
Germany, July 28-31, 1997 : proceedings /|cJürgen Dix,
Ulrich Fuhrbach, Anil Nerode, (eds.).
260 Berlin ;|aNew York :|bSpringer,|cc1997.
300 x, 452 p :|bill ;|c24 cm.
490 0 Lecture notes in computer science ;|v1265|aLecture notes
in artificial intelligence
504 Includes bibliographical references and index.
650 0 Logic programming|xCongresses.
650 0 Nonmonotonic reasoning|xCongresses.
700 1 Dix, J|q(Jürgen),|d1961-
700 1 Fuhrbach, Ulrich.
700 1 Nerode, Anil,|d1932-
830 0 Lecture notes in computer science ;|v1265.
830 0 Lecture notes in computer science.
