|
|
Вид документа : Монографическая серия
Шифр издания : 510.5(063)/P93
Заглавие : Programs, proofs, processes [Electronic resource]
: 6th Conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010: proceedings
Выходные данные : Berlin; Heidelberg: Springer, 2010
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 6158
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-13962-8: Б.ц.
ГРНТИ : 27.03 + 50.07
УДК : 510.5(063)
Ключевые слова (''Своб.индексиров.''): теория вычислимости--конференции
См. : Текст издания
Доп.точки доступа:
Ferreira, F. \ed.\; SpringerLink (Online service)
|
|