|
|
Вид документа : Монографическая серия
Шифр издания : 510.6(063)/C74
Заглавие : Computation and logic in the real world [Electronic resource]
: third conference on computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007: proceedings
Выходные данные : Berlin; Heidelberg : Springer, 2007
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4497
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73001-9: Б.ц.
ГРНТИ : 50.07 + 27.03.19
УДК : 510.6(063) + 004.02
Предметные рубрики: Математическая логика-- Применение в вычислительной технике-- Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Cooper, S.B. \ed.\; SpringerLink (Online service)
|
|