著者典拠情報

著者標目形：
IBM Japan. Corporate & Scientific Programs
属性：
Corporate
注記：
Its Proceedings of the IBM Symposium on Mathematical Foundations of Computer Science (6th-)
著者典拠ID：
DA02147112


1.

図書
図書
1. Proceedings of the Seventh IBM Symposium on Mathematical Foundations of Computer Science : mathematical theory of computations
Corporate & Scientific Programs IBM Japan, May 24-26, 1982 at Hakone Yama-no-Hotel
出版情報: Tokyo : Corporate & Scientific Programs IBM Japan, [1982]
所蔵情報: 図書館
2.

図書
図書
2. Proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science : logic aspect of programs
Corporate & scientific programs, IBM Japan, May 25-27, 1981, at Hakone Yama no Hotel
出版情報: Tokyo : Corporate & Scientific Programs IBM Japan, [1981]
所蔵情報: 図書館
3.

図書
図書
3. Proceedings of the Second IBM Symposium on Mathematical Foundations of Computer Sciences : the complexity of algorithms
Corporate & Scientific Programs IBM Japan, September 26-28, 1977 at Inter-University Seminar House of Kansai
出版情報: Tokyo : Corporate & Scientific Programs IBM Japan, [1977]
所蔵情報: 図書館