6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : proceedings / edited by D. W. Loveland.
Contributor(s): Loveland, D. W [რედაქტორი]
.
Material type: 
BookSeries: Lecture notes in computer science ; 138.Berlin ; New York : Springer-Verlag, 1982.Description: vii, 389 p.ISBN: 9783540392408 ; 3540392408.Subject(s): კომპიტერული ტექნოლოგიები | ავტომატური დედუქცია | კონფერენციები
| Item type | Current location | Call number | Copy number | Status | Date due |
|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(063) (Browse shelf) | 2E36638 | Item lost |
Includes bibliogr. references.
There are no comments for this item.