Research Catalog

Automated reasoning : 33 basic research problems

Title
Automated reasoning : 33 basic research problems / Larry Wos.
Author
Wos, Larry.
Publication
Englewood Cliffs, N.J. : Prentice-Hall, [1988], ©1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.A96 W67 1988Off-site

Holdings

Details

Description
xiii, 319 pages; 23 cm
Uniform Title
Automated reasoning.
Subject
  • Automatic theorem proving
  • Artificial intelligence
  • Computer programming
Note
  • Companion vol. to: Automated reasoning : introduction and applications / Larry Wos [and others]. c1984.
  • Includes index.
Bibliography (note)
  • Bibliography: p. 273-282.
ISBN
013054552X (pbk.) :
LCCN
87013148
OCLC
  • 15792812
  • ocm15792812
Owning Institutions
Columbia University Libraries