Vista normal Vista MARC Vista ISBD

Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : proceedings LFCS 2007 Sergei N. Artemov, Anil Nerode (eds.). - Berlin ; Springer, c2007. - xi, 511 p. : il. ; 24 cm. - Lecture notes in computer science, . - Lecture notes in computer science (Springer) . ; 4514. .

Incluye referencias bibliográficas e índice.

ISBN: 9783540727323 (pbk.) 3540727329 (pbk.)

Subjects--Topical Terms:
Ciencia
Informática
Lógica matemática
Teoría lógica

Dewey Class. No.: 004.015113