Mostrar el registro sencillo del ítem
Математическая логика и теория алгоритмов
dc.contributor.author | Соболев С.Л. (ред.) | |
dc.date.accessioned | 2016-03-24T09:41:33Z | |
dc.date.available | 2016-03-24T09:41:33Z | |
dc.date.issued | 1982 | |
dc.identifier.isbn | ||
dc.identifier.issn | 0208-0060 | |
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/72762 | |
dc.description.abstract | В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики. | |
dc.language.iso | Russian | |
dc.publisher | Наука, Сиб. отд-ние | |
dc.subject | Математика\\Математическая физика | |
dc.subject | Mathematics\\Mathematicsematical Physics | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Математическая логика и теория алгоритмов | |
dc.type | other | |
dc.identifier.aich | IC6OTU5TNCOKNYMJK4TQAKPRDZEO2OXM | |
dc.identifier.crc32 | FD7C6A02 | |
dc.identifier.doi | ||
dc.identifier.edonkey | 21468FB477AFFFC1CA8D960E93694401 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 911710 | |
dc.identifier.md5 | c1bb490e790af790cf23bd9213daa2dc | |
dc.identifier.sha1 | 55NGZJBKSINHSNX5N3Z4QO2VM5PEWV6W | |
dc.identifier.tth | EDD3SBXWMBTJYYHXJL3DUPL5D4TAVFC4ASGR2OI |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Libgen [81666]