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, c1996.

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

Details

Additional Authors
  • McRobbie, M. A. (Michael A.)
  • Slaney, J. K. (John K.)
Description
xv, 764 p. : ill.; 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.
Subject
  • Automatic theorem proving > Congresses
  • Logic, Symbolic and mathematical > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540615113 (alk. paper)
LCCN
96029057
Owning Institutions
Princeton University Library