On the axiomatization of "if-then-else" /

保存先:
書誌詳細
第一著者: Guessarian, Irène, 1948-
その他の著者: Mesaguer, José
フォーマット: 図書
言語:English
出版事項: Stanford, CA : Center for the Study of Language and Information, Stanford University, c1985.
シリーズ:Report (Center for the Study of Language and Information (U.S.)) ; no. CSLI-85-20.
主題:

CARM 1 Store

予約・返却請求 CARM 1 Store
請求記号: A2:AN10E0 D05666
所蔵 1 利用可  予約する