Formal systems and recursive functions : proceedings of the 8th logic colloquium, Oxford, July 1963

Formal systems and recursive functions : proceedings of the 8th logic colloquium Oxford July 1963

出版社：Amsterdam : North-Holland pub. co., 1965.

出版年：1965

作者：International Congress for Logic,Methodology and Philosophy of Science

资源类型：图书

细分类型：馆内阅览

3浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Arctic communications : proceedings of the 8th meeting of the Committee, Athens, Greece, July, 1963

作者：North Atlantic Treaty Organization.
出版社：Oxford : Pergamon, 1964.
出版年：1964

Automatic control in space, proceedings of the 8th IFAC Symposium, Oxford, England, 2-6 July 1979

作者：Interantional Federation of Automatic Control.
ISBN：0000000000
出版社：Oxford : Pergamon, c1980.
出版年：1980

Logic programming ''89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

作者：Furukawa,K.
ISBN：3540539190 10.90
出版社：Berlin : Springer, 1991.
出版年：1991

Logic programming ''89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989

作者：Furukawa,K.
ISBN：3540539190
出版社：Berlin : Springer, 1991.
出版年：1991

Formal methods for computational systems biology : 8th International School on Formal Methods for th

作者：International School on Formal Methods for the Design of Computer,Communication,and Software Syste
ISBN：9783540688921
出版社：Berlin ; New York : Springer, 2008.
出版年：2008

Formal systems and recuresive functions : proceedings ...

作者：Logic Colloquium
出版社：Amsterdam : North-Holland Pub. Co., 1965
出版年：1965