Automated reasoning introduction and applications

Automated reasoning introduction and applications

Saved in:
Bibliographic Details
Other Authors: Wos, Larry
Format: Unknown
Published: New York McGraw-Hill 1992
Edition:2nd ed
Subjects:
Electronic digital computers > Programming
Artificial intelligence
Automatic theorem proving
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
Physical Description:xvi, 656 p. 24 cm. + 1 computer disk (5 1/4 in
Bibliography:Includes bibliographical references and index.
ISBN:007911251X

Similar Items