Export Mendeley
＜Books＞
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / edited by D.W. Loveland
(Lecture notes in computer science ; 138)
| Publisher | Berlin ; New York : Springer-Verlag |
|---|---|
| Year | 1982 |
| Codes | ID=2000269366 NCID=BA03868780
|
| Online Material | https://jg8gn6xr5x.search.serialssolutions.com/?isbn=3540115587 |
Show details.
| Language | English |
|---|---|
| Size | vii, 389 p. ; 25 cm |
| Notes | Includes bibliographical references |
| Authors | Loveland, Donald W., 1934- *Conference on Automated Deduction (6th : 1982 : New York, N.Y.) |
| Subjects | LCSH:Automatic theorem proving -- Congresses
All Subject Search
LCSH:Logic, Symbolic and mathematical -- Congresses All Subject Search |
| Classification | LCC:QA76.9.A96 DC19:511.3 |
| Vol | : gw ; ISBN:3540115587 : us ; ISBN:0387115587 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cent.Lib.,Closed Stacks ,Books(European Lang.) | : gw | 004/L497/138 | 8220007971 |
|
3540115587 | 1982 |
|
|||||
| Eng General Lib, Basement Stacks (Foreign Books) |
|
001.6/L497 | 3521038700 |
|
0387115587 | 1982 |
|