龍谷大学図書館

Formal methods in the methodology of empirical sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974

edited by Marian Przełęcki, Klemens Szaniawski, and Ryszard Wojcicki : associate editor, Grzegorz Molinowski. -- D. Reidel, 1976. -- (Synthese library ; v. 103). <BB20383703>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~2件(全2件)

No. 巻号 配置場所 請求記号 資料ID コメント 状態 禁帯出区分 予約 Web書棚
0001 大宮.西黌B2閉架 308/SYN/103 29500062650 一般 0件
0002 v. 103 深草.8号館閉架3F 116.5/SYN-E/103 19551014565 一般 0件
巻号
所蔵館 大宮
配置場所 大宮.西黌B2閉架
請求記号 308/SYN/103
資料ID 29500062650
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚
巻号 v. 103
所蔵館 深草
配置場所 深草.8号館閉架3F
請求記号 116.5/SYN-E/103
資料ID 19551014565
コメント
状態
禁帯出区分 一般
返却予定日
予約 0件
Web書棚

書誌詳細

標題および責任表示 Formal methods in the methodology of empirical sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / edited by Marian Przełęcki, Klemens Szaniawski, and Ryszard Wojcicki : associate editor, Grzegorz Molinowski
出版・頒布事項 Dordrecht ; Boston : D. Reidel , c1976
形態事項 457 p. : ill. ; 23 cm
巻号情報
ISBN 9027706980
書誌構造リンク Synthese library <BB10002101> v. 103//a
 >>シリーズで再検索する
注記 Includes bibliographies
NCID BA04148200
本文言語コード 英語
著者標目リンク *Conference for Formal Methods in the Methodology of Empirical Sciences <AU00017709> (Warsaw : 1974)
著者標目リンク Przełęcki, Marian <AU00017680>
著者標目リンク Szaniawski, Klemens <AU00017710>
著者標目リンク Wójcicki, Ryszard <AU00017681>
著者標目リンク Molinowski, Grzegorz <AU00017711>
分類標目 LCC:Q174
分類標目 DC:501/.8
分類標目 哲学・宗教 NDLC:H41
件名標目等 Science -- Methodology -- Congresses
件名標目等 Science -- Philosophy -- Congresses