A resolution principle for a logic with restricted quantifiers
著者
書誌事項
A resolution principle for a logic with restricted quantifiers
（Lecture notes in computer science, 568 . Lecture notes in artificial intelligence）
Springer Verlag, c1991
- : gw
- : us
大学図書館所蔵 全48件
注記
Includes bibliographical references (p. [101]-109) and indexes