Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Book |
| Language: | English |
| Published: |
Berlin ;
Springer,
c2007.
|
| Series: | Lecture notes in computer science (Springer) . ;
4514. |
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01168Cam#a22003255a#4500 | ||
|---|---|---|---|
| 001 | 023750 | ||
| 005 | 20160721160729.0 | ||
| 008 | 120514s2007||||gw a |#b #101 0#eng d | ||
| 020 | |a 9783540727323 (pbk.) | ||
| 020 | |a 3540727329 (pbk.) | ||
| 040 | |a OHX |b eng |d CUS | ||
| 082 | 0 | 4 | |a 004.015113 |2 21 |
| 111 | 2 | |a LFCS 2007 |c New York, N.Y.) |d (2007 : | |
| 245 | 0 | 2 | |a Logical foundations of computer science : |b international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings |c Sergei N. Artemov, Anil Nerode (eds.). |
| 246 | 3 | 0 | |a LFCS 2007 |
| 260 | |a Berlin ; |b Springer, |c c2007. | ||
| 300 | |a xi, 511 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 Ciencia |2 spines | |
| 650 | 7 | |a Informática |2 spines | |
| 650 | 7 | |a Lógica matemática |2 spine | |
| 650 | 7 | |a Teoría lógica |2 spines | |
| 700 | 1 | |a Artemov, S. N. | |
| 700 | 1 | |a Nerode, Anil, |d 1932- | |
| 830 | 0 | |a Lecture notes in computer science (Springer) . ; |v 4514. | |
| 929 | |a DONACION |b Eduardo Bonelli |d 0 |e 20110210 |f PAT0037065 |g 1727 |j 47660 | ||
| 942 | |c LIB |n 0 | ||
| 999 | |c 22407 |d 97794 | ||