PX a computational logic

Author(s)

• 林, 晋 ハヤシ, ススム
• 中野, 裕 ナカノ, ヒロシ

Bibliographic Information

PX a computational logic

Susumu Hayashi & Hiroshi Nakano

Research Institute for Mathematical Sciences Kyoto University, 1987

Note

RIMS-573

Includes bibliographical references (p. 121-125)

Details

• NCID: BB31494755
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Kyoto
• Pages/Volumes: ii, 145 p.
• Size: 21 cm