Library

Automated Reasoning

Book Available

Author: Wos Overbeek Lusk and Boyle

Images and descriptions provided by Amazon

Site designed and maintained by SUCS. All opinions expressed are those of the relevant individual and not of the society.