| 001 |
|
69367 |
| 009 |
|
|a91002885
|
| 010 |
1
|
|a0201565145|b(pbk)|dNT$800
|
| 020 |
|
|aus|b91002885
|
| 100 |
|
|a19910301d1991 y engy01 b
|
| 101 |
0
|
|aeng
|
| 102 |
|
|agb
|
| 105 |
|
|aa z 001yy
|
| 200 |
1
|
|aLogic|ea foundation for computer science|fV. Sperschneider & G. Antoniou
|
| 210 |
|
|aWokingham, England|aReading, Mass|cAddison-Wesley|dc1991
|
| 215 |
1
|
|axii, 495 p|cill|d24 cm
|
| 225 |
2
|
|aInternational computer science series
|
| 320 |
|
|aIncludes bibliographical references (p. 485-490) and index
|
| 410 |
0
|
|12001 |aInternational computer science series
|
| 606 |
|
|2lc|aComputer science
|
| 606 |
|
|2lc|aArtificial intelligence
|
| 606 |
|
|2lc|aLogic, Symbolic and mathematical
|
| 676 |
|
|a004|v20
|
| 680 |
|
|aQA76|bS6787 1991
|
| 700 |
1
|
|aSperschneider|bV
|
| 702 |
1
|
|aAntoniou|bG
|
| 801 |
0
|
|acw|bBIB|c20001013
|
| 801 |
0
|
|bDLC
|
| 801 |
1
|
|acw|bnational library|c20001013
|
Check-outs
: 
Hit：114
Rating：0
Review：0
Trackback：0
