5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : proceedings / edited by W. Bibel and R. Kowalski.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 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.