馆藏书目查询系统 - 上海图书馆

Author Results for Boute R. T.

Cover is for reference only

Theorem provers in circuit design：proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design : Theory, Practice, and Experience, Nijmegen, The Netherlands, 22-24 June 1992

Corporate Authors: IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience (1992 Nijmegen)
Group Author: Stavridou V.; (Victoria); Melham T. F.; (Tom F.); Boute R. T.; (Raymond T.)
Published: North-Holland,
Publication Dates: 1992.
Call Number: TP331-53/I61.3/1992/

Book

Cover is for reference only

Declarative systems：proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988

Corporate Authors: IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems (1988 Budapest, Hungary); International Federal of Information Processing. Working Group 10.1.
Group Author: Dávid Gábor.; Boute R. T.; (Raymond T.); Shriver Bruce D., 1940-
Published: North-Holland Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1990.
Call Number: TP274-53/I61.14/1988/

Book

Narrow Search