5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : (Record no. 486907)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00964nam a2200253 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | Ge_NSL |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20181211164256.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 181211s1980 de ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0387100091 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780387100098 |
| 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 | 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 : |
| Remainder of title | proceedings / |
| Statement of responsibility, etc | edited by W. Bibel and R. Kowalski. |
| 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 | 1980. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 385 p. |
| 490 ## - SERIES STATEMENT | |
| სერიის ცნობა | Lecture notes in computer science ; |
| Volume number/sequential designation | 87 |
| 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 | Bibel, W. |
| Relator term | რედაქტორი |
| 9 (RLIN) | 90723 |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kowalski, R. |
| Relator term | რედაქტორი |
| 9 (RLIN) | 90724 |
| 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-4079933897 | 11.12.2018 | 2E32456 | 11.12.2018 | წიგნი |