Goa University

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available No cover image available
Logic for Computer Science : Foundations of Automatic Theorem Proving by
Material type: Text Text
Publication details: New York John Wiley & Sons 1987
Availability: Items available for loan: Goa University Library (1)Call number: 511.3 GAL/Log.
Add to cart
2.
Machine proofs in geometry : Automated production of readable proofs fopr geometry theorems by Series: Series on Apllied mathematics
Material type: Text Text
Publication details: Singapore World Scientific 1994
Availability: Items available for loan: Goa University Library (1)Call number: 516 CHO/Mac.
Add to cart
Pages

Designed & Maintained by: Goa University (GU Library)
Contact: System Analyst :ans @unigoa.ac.in


Powered by Koha