|
|
Вид документа : Монографическая серия
Шифр издания : 004(063)/L85
Заглавие : Logical foundations of computer science [Electronic resource]
: international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4514
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-72734-7: Б.ц.
ГРНТИ : 50.01.13 + 50.07
УДК : 004(063) + 510(063)
Предметные рубрики: Вычислительная техника-- Съезды и конференции
Математическая логика-- Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Artemov, S. \ed.\; SpringerLink (Online service)
|
|