Research Catalog

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings

Title
Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, eds.
Author
International Conference on Automated Deduction (13th : 1996 : New Brunswick, N.J.)
Publication
Berlin ; New York : Springer, [1996], ©1996.

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 I57 1996Off-site

Holdings

Details

Additional Authors
  • McRobbie, M. A. (Michael A.)
  • Slaney, J. K. (John K.)
Description
xv, 764 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 1104. Lecture notes in artificial intelligence
Uniform Title
  • Lecture notes in computer science ; 1104.
  • Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540615113 (alk. paper)
LCCN
96029057
OCLC
ocm35029668
Owning Institutions
Columbia University Libraries