5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : proceedings / edited by W. Bibel and R. Kowalski.
Material type: TextLanguage: English Series: Lecture notes in computer science ; 87Berlin ; New York : Springer-Verlag, 1980Description: 385 pISBN:- 0387100091
- 9780387100098
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
წიგნი | ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(063) (Browse shelf(Opens below)) | 2E32456 | შესამოწმებელია | 2018-4079933897 |
Includes bibliogr. references.
There are no comments on this title.
Log in to your account to post a comment.