関連資料一覧：（本学所蔵）

検索条件入力＞書誌詳細＞関連資料一覧：（本学所蔵）

関連資料一覧：（本学所蔵）

著者名典拠情報

NCID	DA07225778
名称(HDNG)	Fariñas del Cerro, Luis
注記(NOTE)	His International logics for programming, 1992

図書(2件)

選択行を：

資料名

所在

1

Conditionals : from philosophy to computer science / edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig. -- Clarendon Press, 1995. -- (Studies in logic and computation ; 5).

教養（教養学部棟） 116:C

2

Intensional logics for programming / edited by Luis Fariñas del Cerro and Martti Penttonen. -- Clarendon Press, . -- (Studies in logic and computation ; 1).

工情報 007.6:F

選択行を

▲ページトップへ

カナ
英字
ＥＸＣ
ギリシャ
キリル
ハングル

ＥＸＣ

ＥＸＣ

ＥＸＣ

ＥＸＣ

초성

중성

종성