• ВХОД

    •  

    Полное описание

    004(063)/L85-679667
     Logical foundations of computer science : international symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007: proceedings / ed.: S. Artemov, A. Nerode. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4514). - URL: http://dx.doi.org/10.1007/978-3-540-72734-7. - ISBN 978-3-540-72734-7.
    ГРНТИ УДК
    50.07510.285(062)

    Рубрики:
    Математическая логика -- Съезды и конференции

    Доп. точки доступа:
    Artemov, S.\ed.\
    SpringerLink (Online service)
    Экз-ры полностью 004(063)/L85-679667
    http://dx.doi.org/10.1007/978-3-540-72734-7



    Просмотр издания