Research report. no. 23

• Material Type: 図書
• Title: Research report
• Volume: no. 23
• Publication, Distribution, etc.: Numazu : International Institute for Advanced Study of Social Information Science, Fujitsu Ltd.
• Publication Date: 1982.1
• Publication Date (W3CDTF): 1982
• Extent: 18 p.
• Size: 26 cm
• Additional Title: Axiomatization of computer-oriented modal logic and decision procedure
• Place of Publication (Country Code): JP
• Text Language Code: eng
• NDLC: Y95
• Target Audience: 一般
• Holding library: 国立国会図書館
• Call No.: Y95-88Y49
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000008145940; http://id.ndl.go.jp/bib/000008145940
• National Bibliography No. (JPNO): 21008927
• Cataloging Rule: Nippon Cataloging Rules 1942, 1952, 1965 Edition
• Bibliographic Record Category (NDL): 113

• Contents: Axiomatization of computer-oriented modal logic and decision procedure / by H. Sawamura(Provided by: 国立国会図書館蔵書)