National Science Library of Georgia

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : proceedings / edited by D. W. Loveland. by Series: Lecture notes in computer science ; 138
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Berlin ; New York : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : proceedings / edited by W. Bibel and R. Kowalski. by Series: Lecture notes in computer science ; 87
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Berlin ; New York : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.