Автоматизация поиска доказательства теорем в математике / (Գրառման հմ. 36488)
[ դիտիր պարզ ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00872nam a2200193 u 4500 |
| 001 - CONTROL NUMBER | |
| control field | 000055026 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | AM-YeNLA |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20230826161248.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 030329s1974 ||||| |||||||||||||rus|c |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | |
| 245 00 - TITLE STATEMENT | |
| Title | Автоматизация поиска доказательства теорем в математике / |
| Statement of responsibility, etc. | АН УССР. Ин-т кибернетики ; Отв. ред. Ю.В. Капитонов ; Отв. за вып. З.М. Сельдеров. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Киев : |
| Name of publisher, distributor, etc. | Изд-во ин-та кибернетики АН УССР, |
| Date of publication, distribution, etc. | 1974. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 110 с. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Прикладная математика |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Капитонов, Ю.В. |
| Relator term | ред. |
| Relator code | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Сельдеров, З.М. |
| Relator term | ред. |
| Relator code | edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Институт кибернетики АН УССР |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Book |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note | Inventory number |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| General | Fundamental Scientific Library | Fundamental Scientific Library | 03/05/2017 | PII/347093 | FL0291684 | 03/05/2017 | 03/05/2017 | Book | 25 Days Loan | ||||||
| Depository | National Library of Armenia | National Library of Armenia | 25/04/2018 | 62-50 / А-224 | NL0995735 | 25/04/2018 | 25/04/2018 | Book | Սպասարկվում է 30 օրով | 7149-75 | |||||
| Depository | Yerevan State University Library | Yerevan State University Library | 03/05/2017 | 681.14 А-224 | 200033676A | 03/05/2017 | 03/05/2017 | Book | Term Loan |