Summary goes here
Đã lưu trong:
| Định dạng: | Sách |
|---|---|
| Ngôn ngữ: | Tiếng Anh |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 298e6255-cab1-4f84-bfe8-34ea6bcd32c1 |
| isbn | 3540613773 (softcover : alk. paper) |
| issn | |
| language | eng |
| physical | viii, 485 p. :ill. ;24 cm. |
| publication | – publisher: Springer dateOfPublication: c1996 |
| publishDate | c1996 |
| subjects | |
| title | Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.). |
| topic | Computer logic |