MARC 主機 00000nam 2200000 a 4500
001 354020721x
008 031219s2004 gw b 101 eng
010 2003067369
020 354020721X (softcover : alk. paper)
040 DLC|cDLC
050 4 QA76.63|b.L74 2004
082 04 005.1/15|222
111 2 LPNMR 2004|d(2004 :|cFort Lauderdale, Fla)
245 10 Logic programming and nonmonotonic reasoning :|b7th
international conference, LPNMR 2004, Fort Lauderdale,
Fla., January 6-8, 2004 : proceedings /|cVladimir
Lifschitz, Ilkka Niemelä (eds.).
260 Berlin ;|aNew York :|bSpringer,|cc2004.
300 p. cm.
490 0 Lecture notes in computer science ;|v2923|aLecture notes
in artificial intelligence
504 Includes bibliographical references and index.
650 0 Logic programming.
650 0 Nonmonotonic reasoning.
700 1 Lifschitz, Vladimir.
700 1 Niemelä, Ilkka,|d1961-
830 0 Lecture notes in computer science ;|v2923.
830 0 Lecture notes in computer science.
