| Dữ liệu biên mục |
| Dạng tài liệu: | Tư liệu ngôn ngữ (Sách) | | Thông tin mô tả: | Beierle, Christoph
Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Pl
North - Holland, 1995
404 tr. ; 25 cm
|
|
|
|
|
TV HV HN: M  Sơ đồ
AM/00930
|
| Tổng số bản: 1
|
| Số bản rỗi: 0 (kể cả các bản được giữ chỗ)
|
| Số bản được giữ chỗ: 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Số liệu bổ sung tổng hợp ấn phẩm
định kỳ
Chi tiết |
|
| |
|
|
|
|
|
|
|
|