10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings /
Saved in:

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Automated Deduction Kaiserslautern, Germany
Other Authors: Stickel, M. E. (Mark E.), 1947-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, 1990.
Series:Lecture notes in computer science ; 449.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Access:

Check Holdings for more information.

Tags: Add Tag
No Tags, Be the first to tag this record!

Falvey Main - 4th Floor

Holdings details from Falvey Main - 4th Floor
Call Number: QA76.9.A96 I57 1990
Copy 1 Available
Log in to request pick up (learn about Pick Up & Go)
Request a partial scan (about this service)