An order-sorted logic with predicate-hierarchy, eventuality and implicit negation

Author(s)

• 兼岩, 憲 カネイワ, ケン

Bibliographic Information

An order-sorted logic with predicate-hierarchy, eventuality and implicit negation

by Ken Kaneiwa

Ken Kaneiwa, 2001.3

Note

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2001, 博情第74号

Details

• NCID: BA52916711
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: [Tatsunokuchi-machi, Ishikawa]
• Pages/Volumes: iv, 121p
• Size: 30 cm