MARC-Details
| 000 -Satzkennung |
|---|
| Kontrollfeld mit fester Länge |
02586nam a2200565 u 4500 |
| 001 - Kontrollnummer |
|---|
| Kontrollfeld |
612426033 |
| 003 - Kontrollnummer Identifier |
|---|
| Kontrollfeld |
DE-627 |
| 005 - Datum und Zeit der letzten Transaktion |
|---|
| Kontrollfeld |
20231009153859.0 |
| 007 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Information |
|---|
| Kontrollfeld mit fester Länge |
tu |
| 008 - Feld mit fester Länge zur physischen Beschreibung - Allgemeine Angaben |
|---|
| Kontrollfeld mit fester Länge |
091109s1985 xxu||||| 00| ||eng c |
| 016 7# - Kontrollnummer der nationalbibliografischen Agentur |
|---|
| Datensatzkontrollnummer |
263459695 |
| Quelle |
US-OCoLC |
| 020 ## - Internationale Standardbuchnummer |
|---|
| Internationale Standardbuchnummer |
082185027X |
| -- |
0-8218-5027-X |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-627)612426033 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-576)014320053 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-599)GBV612426033 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(OCoLC)553601664 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(OCoLC)263459695 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-604)8080287336 |
| 040 ## - Katalogisierungsquelle |
|---|
| Original-Katalogisierungsstelle |
DE-627 |
| Katalogisierungssprache |
ger |
| Übertragungsstelle |
DE-627 |
| Beschreibungsfestlegungen |
rakwb |
| 041 ## - Sprachcode |
|---|
| Sprachcode des Textes/der Tonspur oder des separaten Titels |
eng |
| -- |
ger |
| 044 ## - Ländercode der veröffentlichenden/herstellenden Stelle |
|---|
| ISO-Ländercode |
XD-US |
| 082 0# - Notation nach der Dewey Decimal Classification |
|---|
| Notation |
511.3 |
| 084 ## - Andere Notation |
|---|
| Notation |
SI 805 |
| Quelle der Nummer |
rvk |
| IDN des Normdatensatzes oder Standardnummer |
(DE-625)rvk/143193: |
| 092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
|---|
| Notation |
Sa 18 |
| 245 10 - Titel |
|---|
| Titel |
Automated theorem proving |
| Zusatz zum Titel |
after 25 years. Proceedings of the special session on automatic theorem proving 89th annual meeting of the American Mathematical Society, held in Denver, Colorado, January 5 - 9, 1983 |
| Verfasserangabe etc. |
ed. by W. W. Bledsoe ... |
| 250 ## - Ausgabebezeichnung |
|---|
| Ausgabebezeichnung |
Reprint. |
| 264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
|---|
| Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort |
Providence, RI |
| Produzent, Herausgeber, Distributor, Hersteller |
American Math. Soc. |
| Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
1985 |
| 300 ## - Physische Beschreibung |
|---|
| Umfang |
IX, 360 S. |
| Andere physische Details |
graph. Darst |
| 336 ## - Inhaltstyp |
|---|
| Inhaltstypterm |
Text |
| Inhaltstypcode |
txt |
| Quelle |
rdacontent |
| 337 ## - Medientyp |
|---|
| Bezeichnung des Medientyps |
ohne Hilfsmittel zu benutzen |
| Medientypcode |
n |
| Quelle |
rdamedia |
| 338 ## - Datenträgertyp |
|---|
| Datenträgertypbezeichnung |
Band |
| Datenträgertypcode |
nc |
| Quelle |
rdacarrier |
| 490 1# - Gesamttitelangabe |
|---|
| Gesamttitelangabe |
Contemporary mathematics |
| Bandnummer/Folgebezeichnung |
29 |
| 650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort |
|---|
| Sachschlagwort oder geografischer Name als Eintragungselement |
Automatic theorem proving |
| Allgemeine Unterteilung |
Congresses |
| 653 ## - Indexierungsterm - Nicht normiert |
|---|
| -- |
Automatisches Beweisverfahren |
| -- |
209175370 |
| 655 #7 - Indexierungsterm - Genre/Form |
|---|
| Genre/Form oder fokussierter Term |
Konferenzschrift |
| Chronologische Unterteilung |
1983 |
| Geografische Unterteilung |
Denver, Colo. |
| IDN des Normdatensatzes oder Standardnummer |
(DE-588)1071861417 |
| -- |
(DE-627)826484824 |
| -- |
(DE-576)433375485 |
| Quelle der Ansetzung oder des Terms |
gnd-content |
| 689 00 - |
|---|
| -- |
s |
| -- |
(DE-588)4069034-9 |
| -- |
(DE-627)106104462 |
| -- |
(DE-576)209175370 |
| -- |
Automatisches Beweisverfahren |
| -- |
gnd |
| 689 0# - |
|---|
| -- |
(DE-627) |
| 951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only] |
|---|
| Geografischer Name |
BO |
| 700 1# - Nebeneintragung - Personenname |
|---|
| Personenname |
Bledsoe, W. W. |
| Funktionsbezeichnung |
Hrsg. |
| Code für Beziehungskennzeichnung |
edt |
| 700 1# - Nebeneintragung - Personenname |
|---|
| Personenname |
Loveland, D. W. |
| Funktionsbezeichnung |
Hrsg. |
| Code für Beziehungskennzeichnung |
edt |
| 700 1# - Nebeneintragung - Personenname |
|---|
| Personenname |
Bledsoe, Woodrow W. |
| Funktionsbezeichnung |
Hrsg. |
| IDN des Normdatensatzes oder Standardnummer |
(DE-627)1230320873 |
| -- |
(DE-576)160320879 |
| Code für Beziehungskennzeichnung |
edt |
| 711 2# - Nebeneintragung - Kongressname |
|---|
| Kongress- oder Gebietskörperschaftsname als Eintragungselement |
Special Session on Automatic Theorem Proving |
| Datum des Kongresses oder der Vertragsunterzeichnung |
1983 |
| Ort des Kongresses |
Denver, Colo. |
| IDN des Normdatensatzes oder Standardnummer |
(DE-588)5002483-8 |
| -- |
(DE-627)102381631 |
| -- |
(DE-576)193236311 |
| Code für Beziehungskennzeichnung |
oth |
| Koha-Normdatenidentnummer |
6303 |
| 800 ## - Nebeneintragung unter dem Gesamttitel - Personenname |
|---|
| Bandnummer/Folgebezeichnung |
2900 |
| 830 #0 - Nebeneintragung unter dem Gesamttitel - Einheitstitel |
|---|
| Einheitstitel |
Contemporary mathematics |
| Datensatzkontrollnummer |
(DE-627)130538248 |
| -- |
(DE-576)01610207X |
| -- |
(DE-600)778026-6 |
| Internationale Standardseriennummer |
0271-4132 |
| Kontrollunterfeld |
ns |
| Bandnummer/Folgebezeichnung |
29.1985 |
| 856 4# - Elektronische Adresse und Zugriff |
|---|
| URL |
<a href="https://external.dandelon.com/download/attachments/dandelon/ids/DE004B0A781EBBC806A18C12579DE00472CE5.pdf">https://external.dandelon.com/download/attachments/dandelon/ids/DE004B0A781EBBC806A18C12579DE00472CE5.pdf</a> |
| Kontaktstelle für Hilfe beim Zugriff |
DE-601 |
| Name des Standortes des Hosts |
AGI |
| Elektronisches Format |
pdf/application |
| Zugriffszeiten |
2014-12-27 |
| Spezifische Materialangaben |
04 |
| 935 ## - |
|---|
| -- |
Blocktest |
| 936 rv - OCLC/CONSER MISCELLANEOUS DATA (OCLC); PIECE USED FOR CATALOGING (pre-AACR2) (RLIN) |
|---|
| OCLC control number(s) of parallel record(s) (OCLC); Piece used for cataloging, PUC (RLIN) |
SI 805 |
| -- |
Contemporary Mathematics. Hrsg.: American Mathematical Society |
| -- |
Schriftenreihen |
| -- |
Schriftenreihen in der Ordnung der Bandzählung |
| -- |
Contemporary Mathematics. Hrsg.: American Mathematical Society |
| -- |
(DE-627)1271478420 |
| -- |
(DE-625)rvk/143193: |
| -- |
(DE-576)201478420 |
| 942 ## - Zusätzliche Felder (Koha) |
|---|
| Koha-Medientyp |
Buch |
