PakCat catalogue record

Automated Reasoning

Introduction and applications

By Wos, Larry

Bibliographic details

ISBN
0130544539
Publisher
United States
Publication place
America
Publication year
1984
Material type
Book
Physical description
xiv, 482p.

Subjects

1.Automatic theorem proving, 2.Artifical intelligence., 3.Electronic digital computer--programming