|
|
|
|
| LEADER |
01005nam a2200337 4500 |
| 001 |
DLU060055827 |
| 005 |
##19931018092340.4 |
| 008 |
##920923s1993 si a b 001 0 eng |
| 010 |
# |
# |
|a 92033357
|
| 020 |
# |
# |
|a 9810212518
|
| 035 |
# |
# |
|9 (DLC) 92033357
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 082 |
# |
# |
|a 005.133
|b BA-R
|
| 100 |
# |
# |
|a Bahgat, Reem.
|
| 245 |
# |
# |
|a Non-deterministic concurrent logic programming in Pandora /
|c Reem Bahgat.
|
| 260 |
# |
# |
|a Singapore ;
|a River Edge, NJ :
|b World Scientific,
|c c1993.
|
| 300 |
# |
# |
|a xvii, 202 p. :
|b ill. ;
|c 23 cm.
|
| 504 |
# |
# |
|a Includes bibliographical references (p. [192]-200) and index.
|
| 650 |
# |
# |
|a Logic programming.
|
| 650 |
# |
# |
|a Pandora (Computer program language)
|
| 830 |
# |
# |
|a Series in computer science ;
|v vol. 37.
|
| 923 |
# |
# |
|a 26/2006
|
| 992 |
# |
# |
|a 8800
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Thái Thị Thanh Thủy
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|