Normal view
MARC view
Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories (Record no. 211997)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 01406nam a2200325 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000207474 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922013741.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 120827s2000 pl f b 000 0 eng d |
| 020 ## - Индекс ISBN | |
| ISBN | 8322610238 |
| 022 ## - Индекс ISSN | |
| ISSN | 0208-6336 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000207474 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | eng |
| Служба, преобразующая запись | RU-ToGU |
| 080 ## - Индекс УДК | |
| Индекс УДК | 681.3.06 |
| Идентификатор издания | 3 |
| 100 1# - Автор | |
| Автор | Biela, Andrzej |
| 9 (RLIN) | 290386 |
| 245 10 - Заглавие | |
| Заглавие | Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories |
| Ответственность | Andrzej Biela |
| 260 ## - Выходные данные | |
| Место издания | Katowice |
| Издательство | Wydawnictwo Uniwersytetu Slaskiego |
| Дата издания | 2000 |
| 300 ## - Физическое описание | |
| Объем | 121, [1] p. |
| 490 10 - Серия | |
| Заглавие серии | Prace Naukowe Uniwersytetu Slaskiego w Katowicach |
| № тома | N 1901 |
| 504 ## - Библиография | |
| Библиография | References: p. 113-118 |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмические теории |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмическая логика |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмическая структурная полнота |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмические языки |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы |
| 710 1# - Другие организации | |
| Организация/юрисдикция | Uniwersytet Slaskiego w Katowicach |
| 9 (RLIN) | 290387 |
| 830 ## - Заголовок добавочной библ.записи на серию — унифицированное заглавие | |
| Унифицированное заглавие | Prace Naukowe Uniwersytetu Slaskiego w Katowicach |
| 9 (RLIN) | 290388 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 681.3 |
| Код страны | ru |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 211997 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 140.00 | 1-924139к 681.3 | 13820000488275 | Выдается в читальный зал |