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 "Logic" in Subject
2 Results on April 12, 2026
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 1980
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 the unification problem of logic programming
by
Hoang Le Tien
Callnumber:
AIT RSPR no. CA-85-09
Updating deductive databases : a probabilistic approach
by
Restificar, Angelo dela Cruz
Callnumber:
AIT Thesis no. CS-92-22
First
Prev
1
Next
Last