- Additional Authors
- Stickel, M. E. (Mark E.), 1947-
- Description
- xvi, 688 p. : ill.; 25 cm.
- Series Statement
- Lecture notes in artificial intelligence ; 449
- Uniform Title
- Lecture notes in computer science ; 449.
- Alternative Title
- CADE-10.
- Subject
- Note
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSF 90-895
- ISBN
- 0387528857 (U.S. : pbk.)
- 9780387528854 (U.S. : pbk.)
- 3540528857 (West Germany : pbk.)
- 9783540528852 (West Germany : pbk.)
- LCCN
- 90010125
- OCLC
- 140794173
- Conference
International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
- Title
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings / M.E. Stickel, (ed.).
- Imprint
Berlin ; New York : Springer-Verlag, c1990.
- Series
Lecture notes in artificial intelligence ; 449
Lecture notes in computer science ; 449.
- Bibliography
Includes bibliographical references and index.
- Added Author
Stickel, M. E. (Mark E.), 1947-
- Added Title
CADE-10.
- Research Call Number
JSF 90-895