000 02687nas|a2200469 i 4500
005 20260817162107.0
008 241198s1985 th uzm rtt 00| a1eng d
035 _a.b10068983
099 9 _aAIT RSPR no. CA-85-09
100 0 _aHoang Le Tien
245 1 3 _aAn algebraic approach to the unification problem of logic programming
260 _aBangkok :
_bAsian Institute of Technology,
_c1985
300 _a42 p.
490 1 _aResearch studies project report ;
_vno. CA-85-09
500 _aA Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology
502 _aResearch Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985
520 _aThis study formulates the unification problem of logic programming as an algebraic problem in which the minimal solution has to be found to satisfy a system of equations with variables ranging over a power set . Conditions for the solution to exist are examined and a procedure to obtain it is developed.
650 0 _aAlgebraic logic
700 0 _aVila s Wuwongse,
_eChairpeson
700 1 _aHuynh, Ngoc Phien,
_eExamination Committee
700 1 _aSadananda, Ramakoti,
_eExamination Committee
710 2 _aThe Government of Australia,
_eScholarship Donor
810 2 _aAsian Institute of Technology.
_tResearch studies project report ;
_vno. CA-85-09
856 _3Full-Text
_uhttp://203.159.5.9/ait-thesis/detail.php?q=B19825
907 _a.b10068983
_bmnait
_cy
902 _a240409
998 _b2
_c951012
_dm
_ea
_fy
_g3
945 _lmnait
945 _lmnait
945 _lmnarc
945 _lmnarc
945 _lmnarc
942 _c20
942 _c40
942 _c21
909 _aBarcode : 30050003120432
_bCREATED : 1995-10-13
_cRECORD # : i10066615
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
909 _aBarcode : 30050003120424
_bCREATED : 1995-10-13
_cRECORD # : i10066627
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
909 _aBarcode : 30050160005186
_bCREATED : 2016-03-24
_cRECORD # : i12908733
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
909 _aBarcode : 30050120931026
_bCREATED : 2019-11-29
_cRECORD # : i13235291
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
909 _aBarcode : 30050120930945
_bCREATED : 2019-11-29
_cRECORD # : i13235345
_dLPATRON : 0
_eLCHKIN : -
_f# RENEWALS : 0
_g# OVERDUE : 0
_hIUSE3 : 0
_iTOT CHKOUT : 0
_jTOT RENEW : 0
999 _c3837
_d3837