AI Search
Home
Advanced Search
Browse
by Author
by Title
by Subject
by Year
by Academic Program/FoS
by Callnumber
by Type
Contact Us
Login
Select a search option
Author
Title
Subject
Year
Academic Program/FoS
Callnumber
Chairperson
by Examination Commitee
Scholarship Donor
Search Now
Results For "Geometry, Algebraic" in Subject
2 Results on June 7, 2025
Browse by School
S E R D
S E T
S O M
(S E R D) + (S E T)
(S E R D) + (S O M)
S A T
School of Civil Engineering
Student Research Before 1978
Browse by Type
Capstone Project
Dissertation
Past Examination Papers
Project
Research Report
Research Study Project Report (RSPR)
Special Study Project Report (SSPR)
Thesis
Sort by
Title Ascending
Title Descending
Year Ascending
Year Descending
An algebraic approach to mechanical theorem-proving in geometry
by
Tran Quoc Nam
Callnumber:
AIT Thesis no. CS-92-29
Classification of variables for Wu's theorem proving
by
Herath, Vinitha
Callnumber:
AIT Thesis no. CS-92-32
First
Prev
1
Next
Last