|
|
Вид документа : Монографическая серия
Шифр издания : 510(063)/H99-186383
Заглавие : Infinity in logic and computation [Electronic resource]
: international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers
Выходные данные : Berlin ; Heidelberg : Springer, 2009
Коллективы :
SpringerLink (Online service)
Серия: Lecture notes in computer science, ISSN 0302-9743; 5489
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-642-03092-5: Б.ц.
ГРНТИ : 27.03.19 + 50.07
УДК : 510.285(063)
Ключевые слова (''Своб.индексиров.''): бесконечность--логика--вычисления--конференции
См. : Текст издания
Доп.точки доступа:
Archibald, M. \ed.\; SpringerLink (Online service)
|
|