Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
- Author / Creator
- Conferences
- International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany)
- Available as
- Online
- Physical
Details
Checking for availability...
- Creator
- M.E. Stickel, (ed.)
- Included Title
-
- Springer computer Science e-Book collection
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer-Verlag, 1990
- Series
- Physical Details
-
- xvi, 688 pages : illustrations ; 25 cm
- ISBNs
- 9780387528854, 0387528857
- OCLC
- ocm22184493
- Includes bibliographical references and author index.
- Also available online.