Поиск :
Личный кабинет :
Электронный каталог: Cantone, D. - Set Theory for Computing
Cantone, D. - Set Theory for Computing
Доступно
1 из 1
1 из 1
Книга
Автор: Cantone, D.
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
Серия: Monographs in Computer Science
Издательство: Springer, 2001 г.
ISBN 0-387-95197-0
Автор: Cantone, D.
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
Серия: Monographs in Computer Science
Издательство: Springer, 2001 г.
ISBN 0-387-95197-0
Заказать 
На полку
Книга
Ц840 C-19
Cantone, D.
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets / D.Cantone, E.Omodeo, A.Policriti ; Foreword: J.T.Schwartz. – New York [etc.] : Springer, 2001. – XVIII, 410 p. : il. – (Monographs in Computer Science). – URL: http://www.springer.com/computer/theoretical+computer+science/book/978-0-387-95197-3. – Bibliogr.:p.374-391. – ISBN 0-387-95197-0.
Ц840
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Ключевых слов = set theory
Ключевых слов = computable functions
Ключевых слов = syllogistic
Ключевых слов = logic programming
Ц840 C-19
Cantone, D.
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets / D.Cantone, E.Omodeo, A.Policriti ; Foreword: J.T.Schwartz. – New York [etc.] : Springer, 2001. – XVIII, 410 p. : il. – (Monographs in Computer Science). – URL: http://www.springer.com/computer/theoretical+computer+science/book/978-0-387-95197-3. – Bibliogr.:p.374-391. – ISBN 0-387-95197-0.
Ц840
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Ключевых слов = set theory
Ключевых слов = computable functions
Ключевых слов = syllogistic
Ключевых слов = logic programming
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЗИЛ | 1 | 1 | 1 | Заказать |