Normal view MARC view ISBD view

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: materialTypeLabelBookSeries: Lecture notes in computer science ; 138.Berlin ; New York : Springer-Verlag, 1982.Description: vii, 389 p.ISBN: 9783540392408 ; 3540392408.Subject(s): კომპიტერული ტექნოლოგიები | ავტომატური დედუქცია | კონფერენციები
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
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.

Log in to your account to post a comment.

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას