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

Online Public Access Catalogue

题名/责任者:

The logical basis for computer programming, v. 1 : deductive reasoning / Zohar Manna, Richard Waldinger.

出版发行项:

Reading, Mass. : Addison-Wesley, c1985.

ISBN:

0201182602 (v. 1)

载体形态项:

618 p. : ill. ; 25 cm.

丛编说明:

Addison-Wesley series in computer science

个人责任者:

Manna, Zohar.

附加个人名称:

Waldinger, Richard.

论题主题:

Logic, Symbolic and mathematical.

论题主题:

Electronic digital computers-Programming.

中图法分类号:

TP311

书目附注:

Includes bibliographies and indexes.

内容附注:

v. 1. Deductive reasoning -- v. 2 Deductive systems.

豆瓣简介：