5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : proceedings / edited by W. Bibel and R. Kowalski.
Contributor(s): Bibel, W [რედაქტორი]
| Kowalski, R [რედაქტორი].
Material type: 
BookSeries: Lecture notes in computer science ; 87.Berlin ; New York : Springer-Verlag, 1980.Description: 385 p.ISBN: 0387100091 ; 9780387100098.Subject(s): კომპიტერული ტექნოლოგიები | ავტომატური დედუქცია | კონფერენციები
| Item type | Current location | Call number | Copy number | Status | Date due |
|---|---|---|---|---|---|
წიგნი
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 004(063) (Browse shelf) | 2E32456 | Item lost |
Includes bibliogr. references.
There are no comments for this item.