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 "Prolog (Computer program language)" in Subject
5 Results on February 16, 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 1979
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
A formal semantics for Multi-Prolog using calculus of communicating systems
by
Dooply, Ayoob E.
Callnumber:
AIT Thesis no.CS-94-5
A history-based backtracking scheme for Prolog
by
Tang Van To
Callnumber:
AIT Thesis no. CS-88-6
An application of abstract interpretation: detecting functional computations in prolog programs
by
Duong Tuan Anh
Callnumber:
AIT Thesis no.CS-89-21
Verification of offline security: a case study on SAT
by
Ramya, Parupudi Swathi
Callnumber:
AIT RSPR no.CS-18-04
Verification offline security: a case study of TOEFL exam
by
Rao, Karri Surya
Callnumber:
AIT RSPR no.CS-18-06
First
Prev
1
Next
Last