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
|