Jump to main content

図書

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. (Synthese library ; v. 103)

Icons representing 図書

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.

(Synthese library ; v. 103)

Call No. (NDL)
M22-160
Bibliographic ID of National Diet Library
000006159813
Material type
図書
Author
Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, 1974.ほか
Publisher
D. Reidel Pub. Co.
Publication date
c1976.
Material Format
Paper
Capacity, size, etc.
457 p. : ill. ; 23 cm.
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
9027706980
Title
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.
Series Title
Synthese library ; v. 103
Author Heading
Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, 1974.
Przelecki, Marian.
Szaniawski, Klemens.
Wójcicki, Ryszard.
Publication, Distribution, etc.
Dordrecht : D. Reidel Pub. Co.
Boston : D. Reidel Pub. Co.
Publication Date
c1976.
Publication Date (W3CDTF)
1976
Extent
457 p. : ill. ; 23 cm.
Place of Publication (Country Code)
NL