|
|
|
|
LEADER |
00635nam a2200181Ia 4500 |
001 |
CTU_56282 |
008 |
210402s9999 xx 000 0 und d |
082 |
|
|
|a 005.131
|
082 |
|
|
|b H199
|
100 |
|
|
|a Henry Hamburger
|
245 |
|
0 |
|a Logic and language models for computer science
|
245 |
|
0 |
|c Henry Hamburger and Dana Richards
|
260 |
|
|
|a Upper Saddle River, NJ
|
260 |
|
|
|b Prentice-Hall
|
260 |
|
|
|c 2002
|
650 |
|
|
|a programming languages ( electronic computers ),logic, symbolic and mathematical,computer science,automaths ( formal language )
|
650 |
|
|
|x mathematics
|
980 |
|
|
|a Trung tâm Học liệu Trường Đại học Cần Thơ
|