|
Вид документа : Монографическая серия Шифр издания : 510.6(063)/T99-431001
Заглавие : Typed lambda calculi and applications [Electronic resource]
: 8th International conference,TLCA 2007, Paris, France,June 26-28, 2007: proceedings
Выходные данные : Berlin ; Heidelberg : Springer, 2007 Коллективы :
SpringerLink (Online service) Серия: Lecture notes in computer science, ISSN 0302-9743 ; 4583
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-3-540-73228-0: Б.ц.
ГРНТИ : 27.03.19 + 50.01.13 УДК : 510(063) + 004(063) Предметные рубрики: Математическая логика-- Съезды и конференции Вычислительная техника-- Съезды и конференции
См. : Текст издания Доп.точки доступа: Rocca, S. \ed.\; SpringerLink (Online service)
|
|