AI SearchAn algebraic approach to the unification problem of logic programming (Record no. 3837)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02687nas|a2200469 i 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260817162107.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241198s1985 th uzm rtt 00| a1eng d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10068983 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT RSPR no. CA-85-09 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hoang Le Tien |
| 245 13 - TITLE STATEMENT | |
| Title | An algebraic approach to the unification problem of logic programming |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1985 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 42 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Research studies project report ; |
| Volume/sequential designation | no. CA-85-09 |
| 500 ## - GENERAL NOTE | |
| General note | A Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This 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 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Algebraic logic |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Vila s Wuwongse, |
| Relator term | Chairpeson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Ngoc Phien, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sadananda, Ramakoti, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | The Government of Australia, |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Research studies project report ; |
| Volume/sequential designation | no. CA-85-09 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B19825">http://203.159.5.9/ait-thesis/detail.php?q=B19825</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10068983 |
| b | mnait |
| c | y |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240409 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | y |
| -- | 3 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 20-AIT Publication |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 21 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050003120432 |
| CREATED | CREATED : 1995-10-13 |
| RECORD Id | RECORD # : i10066615 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050003120424 |
| CREATED | CREATED : 1995-10-13 |
| RECORD Id | RECORD # : i10066627 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050160005186 |
| CREATED | CREATED : 2016-03-24 |
| RECORD Id | RECORD # : i12908733 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120931026 |
| CREATED | CREATED : 2019-11-29 |
| RECORD Id | RECORD # : i13235291 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120930945 |
| CREATED | CREATED : 2019-11-29 |
| RECORD Id | RECORD # : i13235345 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 10.00 | AIT RSPR no. CA-85-09 | 30050003120432 | 17/08/2026 | 1 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 17/08/2026 | 10.00 | AIT RSPR no. CA-85-09 | 30050003120424 | 17/08/2026 | 2 | 17/08/2026 | 20-AIT Publication | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT RSPR no. CA-85-09 | 30050160005186 | 17/08/2026 | 17/08/2026 | 40-Archives | ||||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT RSPR no. CA-85-09 | 30050120931026 | 17/08/2026 | 3 | 17/08/2026 | 21 | |||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 17/08/2026 | AIT RSPR no. CA-85-09 | 30050120930945 | 17/08/2026 | 4 | 17/08/2026 | 21 |