6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : proceedings / edited by D. W. Loveland.

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture notes in computer science ; 138Berlin ; New York : Springer-Verlag, 1982Description: vii, 389 pISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
წიგნი	ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ.	004(063) (Browse shelf(Opens below))	2E36638	შესამოწმებელია		2018-4079933901

Previous	No cover image available				No cover image available	No cover image available		Next
Previous	004(063) აკადემოკოს ი. ფრანგიშვილის დაბადების 80 წლისთავისადმი მიძღვნილი საერთაშორისო სამეცნიერო კონფერენცია და კომპიუტერული ტექნოლოგიები, მოდელირება, მართვა =	004(063) Information and computer technologies :	004(063) 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 :	004(063) 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 :	004(063) Cryptography :	004(063) Data base design techniques :	004(063) Data base design techniques :	Next

Includes bibliogr. references.

There are no comments on this title.

to post a comment.

National Science Library of Georgia