Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014сборник

Статьи, опубликованные в сборнике Экспорт в BibTeX стиль:  обычный | ГОСТ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam