6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : (Record no. 486910)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00896nam a2200241 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Ge_NSL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20181211164855.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181211s1982 de ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540392408 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 3540392408 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER | |
| Universal Decimal Classification number | 004(063) |
| 245 ## - TITLE STATEMENT | |
| Title | 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : |
| Remainder of title | proceedings / |
| Statement of responsibility, etc | edited by D. W. Loveland. |
| 264 ## - Production, Publication, Distribution, Manufacture, and Copyright Notice (R) | |
| Place of production, publication, distribution, manufacture (R) | Berlin ; |
| -- | New York : |
| Name of producer, publisher, distributor, manufacturer (R) | Springer-Verlag, |
| Date of production, publication, distribution, manufacture, or copyright notice | 1982. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | vii, 389 p. |
| 490 ## - SERIES STATEMENT | |
| სერიის ცნობა | Lecture notes in computer science ; |
| Volume number/sequential designation | 138 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc | Includes bibliogr. references. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | კომპიტერული ტექნოლოგიები |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | ავტომატური დედუქცია |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | კონფერენციები |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Loveland, D. W. |
| Relator term | რედაქტორი |
| 9 (RLIN) | 90723 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Universal Decimal Classification |
| Item type | წიგნი |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| შესამოწმებელია | Universal Decimal Classification | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | ეროვნული სამეცნიერო ბიბლიოთეკა 1 | საცავი. 1 კორპ. | 11.12.2018 | 004(063) | 2018-4079933901 | 11.12.2018 | 2E36638 | 11.12.2018 | წიგნი |