MARC-Details
| 000 -Satzkennung |
|---|
| Kontrollfeld mit fester Länge |
01639nam a2200469 uc4500 |
| 001 - Kontrollnummer |
|---|
| Kontrollfeld |
1162329521 |
| 003 - Kontrollnummer Identifier |
|---|
| Kontrollfeld |
DE-627 |
| 005 - Datum und Zeit der letzten Transaktion |
|---|
| Kontrollfeld |
20231009162118.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 |
010710s2001 xx ||||| 00| ||eng c |
| 016 7# - Kontrollnummer der nationalbibliografischen Agentur |
|---|
| Datensatzkontrollnummer |
313724327 |
| Quelle |
US-OCoLC |
| 016 7# - Kontrollnummer der nationalbibliografischen Agentur |
|---|
| Datensatzkontrollnummer |
ZBM0964.00020 |
| 020 ## - Internationale Standardbuchnummer |
|---|
| Internationale Standardbuchnummer |
0444508120 |
| -- |
0-444-50812-0 |
| 020 ## - Internationale Standardbuchnummer |
|---|
| Internationale Standardbuchnummer |
026218222X |
| -- |
0-262-18222-X |
| 024 3# - Anderer Standardidentifier |
|---|
| Standardnummer oder Code |
9780444508126 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-627)1162329521 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-576)092329527 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(DE-599)BSZ092329527 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(OCoLC)313724327 |
| 035 ## - Systemkontrollnummer |
|---|
| System-Kontrollnummer |
(ZBM)0964.00020 |
| 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 |
| 084 ## - Andere Notation |
|---|
| Notation |
ST 304 |
| Quelle der Nummer |
rvk |
| IDN des Normdatensatzes oder Standardnummer |
(DE-625)rvk/143653: |
| 084 ## - Andere Notation |
|---|
| Notation |
*00B15 |
| Quelle der Nummer |
msc |
| 084 ## - Andere Notation |
|---|
| Notation |
68-06 |
| Quelle der Nummer |
msc |
| 084 ## - Andere Notation |
|---|
| Notation |
68-00 |
| Quelle der Nummer |
msc |
| 092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC) |
|---|
| Notation |
Sa 18 |
| -- |
291/407 |
| 245 10 - Titel |
|---|
| Titel |
Handbook of automated reasoning |
| Zählung des Teils/der Abteilung eines Werkes |
2 |
| Verfasserangabe etc. |
Ed.: Alan Robinson ... |
| 264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk |
|---|
| Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort |
Amsterdam |
| Produzent, Herausgeber, Distributor, Hersteller |
North Holland |
| Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks |
2001 |
| 300 ## - Physische Beschreibung |
|---|
| Umfang |
XXV, S. 963 - 2122 |
| 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 |
| 951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only] |
|---|
| Geografischer Name |
MV |
| 773 18 - Übergeordnete Einheit |
|---|
| Datensatzkontrollnummer |
(DE-627)1162329017 |
| -- |
(DE-576)092329012 |
| Verknüpfungsangaben |
2 |
| Zählung und erste Seite |
2 |
| Kontrollunterfeld |
nnnm |
| 856 42 - Elektronische Adresse und Zugriff |
|---|
| URL |
<a href="https://zbmath.org/?q=an:0964.00020">https://zbmath.org/?q=an:0964.00020</a> |
| Kontaktstelle für Hilfe beim Zugriff |
B:ZBM |
| Zugriffszeiten |
2021-04-12 |
| Verknüpfungstext |
Zentralblatt MATH |
| Spezifische Materialangaben |
Inhaltstext |
| 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) |
ST 304 |
| -- |
Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation |
| -- |
Monografien |
| -- |
Künstliche Intelligenz |
| -- |
Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation |
| -- |
(DE-627)1271584034 |
| -- |
(DE-625)rvk/143653: |
| -- |
(DE-576)201584034 |
| 942 ## - Zusätzliche Felder (Koha) |
|---|
| Koha-Medientyp |
Buch |
