西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Logic program synthesis and transformation : proceedings of LOPSTR '91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4-5 July 1991 / sponsored by the Association for Logic Programming and ALPUK ; T.P. Clement and K.-K. Lau (eds.)

出版发行项:

London : Springer-Verlag, c1992.

ISBN:

0387197427 (New York)

ISBN:

3540197427 (Berlin)

载体形态项:

x, 337 : ill. ; 25 cm.

丛编题名:

Workshops in computing

会议名称:

International Workshop on Logic Program Synthesis and Transformation (1991 : University of Manchester)

附加个人名称:

Lau, K.-K. (Kung-Kiu), 1953-

附加个人名称:

Clement, T. P. (Timothy Paul), 1954-

附加团体名称:

ALPUK.

附加团体名称:

Association for Logic Programming.

论题主题:

Logic programming (Computer science)-Congresses.

中图法分类号:

TP302.2-53

一般附注:

"Published in collaboration with the British Computer Society."

书目附注:

Includes bibliographical references and index.

豆瓣简介：