5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : proceedings / edited by W. Bibel and R. Kowalski.

Contributor(s):

Material type: Text

TextLanguage: English Series: Lecture notes in computer science ; 87Berlin ; New York : Springer-Verlag, 1980Description: 385 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))	2E32456	შესამოწმებელია		2018-4079933897

Includes bibliogr. references.

There are no comments on this title.

to post a comment.

National Science Library of Georgia