Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
Saved in:
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer,
2003.
|
| Series: | Lecture notes in computer science (Springer). ;
2803 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01219Cam#a22002894a#4500 | ||
|---|---|---|---|
| 001 | 023748 | ||
| 005 | 20160721160729.0 | ||
| 008 | 120511s2003 gw a f#b #101 0#eng d | ||
| 020 | |a 3540408010 | ||
| 040 | |a DLC |d DLC | ||
| 082 | 0 | 4 | |a 005.1/01/5113 |2 22 |
| 245 | 0 | 0 | |a Computer science logic : |b 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings |c Matthias Baaz, Johann A. Makowsky (eds.). |
| 260 | |a Berlin ; |b Springer, |c 2003. | ||
| 300 | |a xii, 590 p. : |b il. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; | |
| 504 | |a Incluye referencias bibliográficas e índice. | ||
| 650 | 7 | |a Informática |2 spines | |
| 650 | 7 | |a Lógica |2 spines | |
| 650 | 7 | |a Algoritmos |2 spines | |
| 700 | 1 | |a Baaz, Matthias. | |
| 700 | 1 | |a Makowsky, Johann A., |d 1948- | |
| 710 | 2 | |a European Association for Computer Science Logic. |b Conference | |
| 711 | 2 | |a Kurt Gödel Colloquium |c Vienna University of Technology) |d 2003 : |n (8th : | |
| 830 | 0 | |a Lecture notes in computer science (Springer). ; |v 2803 | |
| 929 | |a DONACION |b Eduardo Bonelli |d 0 |e 20110210 |f PAT0037182 |g 1727 |j 47579 | ||
| 942 | |c LIB |n 0 | ||
| 999 | |c 22405 |d 97792 | ||