Automated Deduction - CADE-19 (Запись № 141189)
[ простой вид ]
| 000 -Маркер | |
|---|---|
| Поле контроля фиксированной длины | 01079nam0a2200325 4500 |
| 005 - Идентификатор версии | |
| Поле контроля фиксированной длины | 20231029185116.0 |
| 010 ## - Международный стандартный книжный номер (ISBN) | |
| Номер (ISBN) | 3540405593 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | (RuTPU)RU\TPU\book\153039 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20080805d2003 k y0engy50 ba |
| 101 0# - Язык ресурса | |
| Язык текста, звукозаписи и т.д. | английский |
| 102 ## - Страна публикации или производства | |
| Страна публикации | |
| 105 ## - Поле кодированных данных: текстовые ресурсы, монографические | |
| Кодированные данные о монографическом текстовом документе | y z 101zy |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | Automated Deduction - CADE-19 |
| Сведения, относящиеся к заглавию | 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings |
| Первые сведения об ответственности | под ред. F. Baader |
| 210 ## - Публикация, производство, распространение и т.д. | |
| Место публикации, производства и/или распространения | |
| Имя издателя, производителя и/или распространителя | Springer-Verlag |
| Дата публикации, производства и/или распространения | 2003 |
| 215 ## - Физические характеристики | |
| Сведения об объеме | 502 p. |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя | |
| Текст примечания | References at the end of chapters. |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя | |
| Текст примечания | Index: p. 503. |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | программирование |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | математика |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | математическое программирование |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | теория |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | конференции |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | английский язык |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) | |
| Индекс | 519.85(063) |
| Издание | 3 |
| 702 #1 - Имя лица – вторичная ответственность | |
| Начальный элемент ввода | Baader |
| Часть имени, кроме начального элемента ввода | F. |
| Расширение инициалов личного имени | Franz |
| Код отношения | 340 |
| 801 #1 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20080805 |
| Правила каталогизации | PSBO |
| 801 #2 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20080918 |
| Правила каталогизации | PSBO |
| 090 ## - System Control Numbers (Koha) | |
| Koha biblioitem number (autogenerated) | 141189 |
| 942 ## - Добавленные элементы ввода (Коха) | |
| Тип документа | Books |
| Состояние изъятия | Состояние повреждения | Состояние потери | Дата поступления | Исходная библиотека | Текущая библиотека | Фонд | Штрих-код | Цена действует с | Инвентарный номер | Шифр хранения | Ограничение выдачи | Тип документа | Koha normalized classification for sorting | Total checkouts | Date last seen |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 05.08.2008 | НТБ ТПУ | НТБ ТПУ | Читальный зал иностранной литературы | 13821000398524 | 29.10.2023 | 08-3996 | 519 A94 | Books | 519_A94 | 29.10.2023 |