検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 A resolution principle for a logic with restricted quantifiers / H.-J. Bürckert T2 Lecture notes in computer science A1 Bürckert, Hans-Jürgen YR 1991 FD c1991 VO : Berlin SP x, 116 p. K1 Logic programming K1 Logic, Symbolic and mathematical PB Springer Verlag PP Berlin ; New York SN 3540550348 LA English (英語) NO Includes bibliographical references (p. [101]-109) and indexes NO 書誌ID=1000438898; NCID=BA13597894; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000438898 OL 30