Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Mathematics mechanization and applications [Book] / edited by Xiao-Shan Gao and Dongming Wang. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Diego : Academic Press, c2000
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (2)Call number: 512.94 MAT, ...

Place hold Add to cart
2.
Deduction systems [Book] / Rolf Socher-Ambrosius, Patricia Johann. by Series:
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: New York : Springer, c1997
Availability: Items available for loan: Junaid Zaidi Library, COMSATS University Islamabad (1)Call number: 511.3028551 SOC-D.

Place hold Add to cart
Pages