Research Catalog

Automated theorem proving : a logical basis

Title
Automated theorem proving : a logical basis / Donald W. Loveland.
Author
Loveland, Donald W.
Publication
Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1977.

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 L68Off-site

Holdings

Details

Description
pages; cm.
Series Statement
Fundamental studies in computer science ; 5
Uniform Title
Fundamental studies in computer science ; v. 5.
Subject
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p.
ISBN
0720404991
LCCN
76054345
OCLC
  • 182870280
  • ocn182870280
Owning Institutions
Columbia University Libraries