A high-order logic for object-oriented logic programming /
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
1998.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00810cam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | u436522 | ||
| 003 | SIRSI | ||
| 008 | 990313s1998 si v 00 1 eng m | ||
| 035 | |a ACG-7804 | ||
| 040 | |a UMM | ||
| 090 | |a QA76.64 |b Wee | ||
| 100 | 1 | 0 | |a Wee, Boon Tun |
| 245 | 1 | 2 | |a A high-order logic for object-oriented logic programming / |c by Wee Boon Tun. |
| 260 | |c 1998. | ||
| 300 | |a viii, 113 leaves : |b ill. ; |c 30 cm. | ||
| 502 | |a Dissertation (M.Sc.) -- National University of Singapore, 1998. | ||
| 504 | |a Bibliography: leaves 103-107. | ||
| 650 | 0 | |a Object-oriented programming (Computer science) | |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Deductive databases. | |
| 948 | |a 15/03/1999 |b 22/03/1999 | ||
| 596 | |a 1 | ||
| 598 | |||
| 999 | |a QA76.64 WEE |w LC |c 1 |i A508381988 |l STACKS |m P01UTAMA |r Y |s Y |t TESIS |u 14/4/1999 | ||