8th International Conference on Automated Deduction /Oxford, July 27-August 1, 1986; edited by Jorg H. Siekmann
By: International Conference on Automated Deduction (8th: Oxford.
Contributor(s): Siekmann, Jorg H.
Publisher: Berlin Springer-Verlag 1986Description: ix, 708p.ISBN: 3540167803.Subject(s): SystemsDDC classification: 001.6Item type | Current location | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books in Stacks (S) | Engineering Library Science & Technology | S | 001.6 INT (Browse shelf) | Available | 257564 |
There are no comments for this item.