Research Catalog

Automated reasoning and its applications : essays in honor of Larry Wos /

Title
Automated reasoning and its applications : essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
Publication
Cambridge, Mass. : MIT Press, c1997.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA76.9.A96 A918 1997Off-site

Details

Additional Authors
  • Pieper, Gail W.
  • Veroff, Robert.
  • Wos, Larry.
Description
viii, 247 p.; 24 cm.
Subject
Automatic theorem proving
Note
  • "Bibliography of Larry Wos": p. [235]-241.
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
0262220555 (alk. paper)
LCCN
96051916
Owning Institutions
Princeton University Library