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

510(063)/C74-972354
Computer science logic : 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, Sept. 7-11, 2009: proceedings / ed.: E. Grädel, R. Kahle. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5771). - URL: http://dx.doi.org/10.1007/978-3-642-04027-6. - ISBN 978-3-642-04027-6.

ГРНТИ	УДК
27.03.19	510(062)
50.01.13	004(062)
03.91

Кл.слова (ненормированные): математическая логика -- вычислительная техника -- конференции
Доп. точки доступа:
Grädel, E.\ed.\
Kahle, R.\ed.\
SpringerLink (Online service)

http://dx.doi.org/10.1007/978-3-642-04027-6

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