論理 | 金沢大学附属図書館 OPAC plus

QRコード(所蔵情報)

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書計算論広瀬, 健(1935-) 朝倉書店	7 図書ソフトウェア評価技法 : 検査・検定・保守・コスト積算広瀬, 健(1935-) 共立出版
2 図書数学基礎論の応用広瀬, 健(1935-) 日本評論社	8 図書帰納的関数広瀬, 健(1935-) 共立出版
3 図書形式的モデルと意味論 Leeuwen, Jan van, 広瀬, 健(1935-) 丸善	9 図書数学の方法 : 直観的イメージから数学的対象へ広瀬, 健(1935-) 共立出版
4 図書応用論理桔梗, 宏孝共立出版	10 図書情報数学広瀬, 健(1935-) コロナ社
5 図書計算機科学/ソフトウェア技術講座広瀬, 健(1935-) 共立出版	11 図書代数系 : 環・体・ガロア体・群・束広瀬, 健(1935-) 日本評論社
6 図書情報数学広瀬, 健(1935-) コロナ社	12 図書数学的帰納法広瀬, 健(1935-) 教育出版