Summary goes here
Salvato in:
| Natura: | Libro |
|---|---|
| Lingua: | inglese |
| Soggetti: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 796ee6eb-bf8f-457e-a5f7-f86d03909e45 |
| isbn | 3540425543 9783540425540 |
| issn | |
| language | eng |
| physical | xii, 614 pages :illustrations ;24 cm |
| publication | – publisher: Springer dateOfPublication: 2001 |
| publishDate | 2001 |
| subjects | |
| title | Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.). |
| topic | Computer logic Computer logic Computer logic. Conference papers and proceedings. |