Summary goes here
Zapisane w:
| Format: | Książka |
|---|---|
| Język: | angielski |
| Hasła przedmiotowe: | |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 1e49ef02-bef2-49f5-84ba-2245e0425428 |
| isbn | 3540665366 |
| issn | |
| language | eng |
| physical | xi, 580 pages :illustrations ;23 cm. |
| publication | – publisher: Springer dateOfPublication: 1999 |
| publishDate | 1999 |
| subjects | |
| title | Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.). |
| topic | Computer logic. Conference papers and proceedings. |