関西外国語大学図書館学術情報センター

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). <BB00013398>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 資料形態 禁帯出区分 状態 返却予定日 予約 仮想本棚
0001 中宮図 書庫 110/Sy7/103 0001340034 図書 貸出可 0件
No. 0001
巻号
所蔵館 中宮図
配置場所 書庫
請求記号 110/Sy7/103
資料ID 0001340034
資料形態 図書
禁帯出区分 貸出可
状態
返却予定日
予約 0件
仮想本棚

書誌詳細

標題および責任表示 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 <BB00000019> v. 103//a
注記 Includes bibliographies
学情ID BA04148200
本文言語コード 英語
著者標目リンク *Conference for Formal Methods in the Methodology of Empirical Sciences <AU10049358> (Warsaw : 1974)
著者標目リンク Przełęcki, Marian <AU10049362>
著者標目リンク Szaniawski, Klemens <AU10049363>
著者標目リンク Wójcicki, Ryszard <AU10049364>
著者標目リンク Molinowski, Grzegorz <AU10052232>
分類標目 LCC:Q174
分類標目 DC:501/.8
分類標目 哲学・宗教 NDLC:H41
件名標目等 Science -- Methodology -- Congresses
件名標目等 Science -- Philosophy -- Congresses