Logic Programming and Automated Reasoning /
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách giấy |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin :
Springer-Verlag,
1993.
|
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| LEADER | 00623nam a2200265 4500 | ||
|---|---|---|---|
| 001 | DLU020000108 | ||
| 005 | ##19980411 | ||
| 020 | # | # | |a 3-540-56944-8 |
| 040 | # | # | |a DLU |b vie |
| 041 | # | # | |a eng |
| 044 | # | # | |a de |
| 082 | # | # | |a 005.131 |b VO-A |
| 100 | # | # | |a Voronkov, Andrei. |
| 245 | # | # | |a Logic Programming and Automated Reasoning / |c Andrei Voronkov. |
| 260 | # | # | |a Berlin : |b Springer-Verlag, |c 1993. |
| 300 | # | # | |a x, 386 tr. ; |c 23 cm. |
| 992 | # | # | |a 15000 |
| 994 | # | # | |a DLU |
| 900 | # | # | |a False |
| 911 | # | # | |a Administrator |
| 925 | # | # | |a G |
| 926 | # | # | |a A |
| 927 | # | # | |a SH |
| 980 | # | # | |a Thư viện Trường Đại học Đà Lạt |