|
|
|
|
LEADER |
00981nam a2200289 a 4500 |
001 |
1980297 |
005 |
20171111235915.0 |
008 |
971119s1979----gr r u000 0 Eng d |
020 |
|
|
|a 0444003681
|
040 |
|
|
|a GR-AtNTU
|b gre
|
082 |
|
0 |
|a 519.7
|
082 |
|
0 |
|2 19
|a 519.7
|
100 |
1 |
0 |
|a Kowalsky, Robert
|
245 |
1 |
0 |
|a Logic for problem solving
|
260 |
1 |
0 |
|a New York:
|b North-Holland,
|c 1979
|
300 |
1 |
0 |
|a xiv, 287p. ;
|c 8o.
|
490 |
0 |
0 |
|a Artificial Intelligence Series
|v Vol.7
|
504 |
0 |
0 |
|a References
|
504 |
0 |
0 |
|a Index
|
504 |
0 |
0 |
|a Περιέχει ευρετήριο και βιβλιογραφία
|
650 |
1 |
0 |
|a Programming
|
650 |
1 |
0 |
|a Problem Solving
|
650 |
1 |
0 |
|a Computers
|x Programming
|
650 |
1 |
0 |
|a Calculus, symbolic and mathematical
|
952 |
|
|
|a GRThAnMak
|b 59cca0b96c5ad13446023e18
|c 998a
|d 945l
|e 519.5 KOW
|t 1
|x m
|z Books
|
952 |
|
|
|a GRThAnMak
|b 59cca30c6c5ad1344602a7ed
|c 998a
|d 945l
|e 519.5 KOW
|t 1
|x m
|z Books
|
952 |
|
|
|a GR-AtNTU
|b 59cc29706c5ad13446f9e653
|c 998a
|d 945l
|t 2
|x m
|z Books
|