6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : proceedings / edited by D. W. Loveland.
Material type: TextLanguage: English Series: Lecture notes in computer science ; 138Berlin ; New York : Springer-Verlag, 1982Description: vii, 389 pISBN:- 9783540392408
- 3540392408
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(063) (Browse shelf(Opens below)) | 2E36638 | შესამოწმებელია | 2018-4079933901 |
Includes bibliogr. references.
There are no comments on this title.
Log in to your account to post a comment.