安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Automation of reasoning / edited by J. Siekmann and Graham Wrightson.

出版发行项:

Berlin : Springer, 1983.

ISBN:

3540120432 (v. 1)

ISBN:

0387120432 (U.S. : v. 1)

ISBN:

0387120440 (U.S. : v. 2)

载体形态项:

2 v. : ill. ; 25 cm.

附加个人名称:

Siekmann, J.

附加个人名称:

Wrightson, Graham.

论题主题:

Automatic theorem proving.

中图法分类号:

73.87221

一般附注:

Library has: v. 1-2.

书目附注:

Includes bibliographical references.

内容附注:

v. 1. Classical papers on computational logic 1957-1966 -- v. 2. Classical papers on computational logic 1967-1970.

豆瓣简介：