|
|
|
|
| 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ơ
|