Your search returned 2 results.

Results
		The algorithm design manual / [by] Steven S. Skiena. by Skiena, Steven S, 1961- Series: Texts in computer science Edition: 3rd (Third) edition Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Cham : Springer. ©2020 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004.421. Place hold Log in to add tags Add to cart (remove)
		First-order logic and automated theorem proving / Melvin Fitting. by Fitting, Melvin, 1942- Series: Graduate texts in computer science \| Graduate texts in computer science (Springer-Verlag New York Inc.) Edition: 2nd ed. Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer, c1996 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004 F-48. Lists: Springer series. Place hold Log in to add tags Add to cart (remove)

Not finding what you're looking for?

National Science Library of Georgia