Campusbibliothek

Automated deduction - CADE-22 (Titelsatznr. 34773)

[ MARC ]
MARC-Details
000 -Satzkennung
Kontrollfeld mit fester Länge 03997nam a2200889 u 4500
001 - Kontrollnummer
Kontrollfeld 604834764
003 - Kontrollnummer Identifier
Kontrollfeld DE-627
005 - Datum und Zeit der letzten Transaktion
Kontrollfeld 20231009153814.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 090715s2009 gw ||||| 00| ||eng c
015 ## - Nummer der Nationalbibliografie
Nummer der Nationalbibliografie 09,N30,0007
Quelle dnb
015 ## - Nummer der Nationalbibliografie
Nummer der Nationalbibliografie 09,N30,0007
Quelle dnb
016 7# - Kontrollnummer der nationalbibliografischen Agentur
Datensatzkontrollnummer 995195927
Quelle DE-101
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 3642029582
Bezugsbedingungen PB. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.)
-- 3-642-02958-2
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 9783642029585
Bezugsbedingungen : PB. : EUR 69.50 (freier Pr.), sfr 101.00 (freier Pr.)
-- 978-3-642-02958-5
024 3# - Anderer Standardidentifier
Standardnummer oder Code 9783642029585
024 8# - Anderer Standardidentifier
Standardnummer oder Code 12717996
Nähere Angaben Best.-Nr.
028 52 - Verlegernummer
Verlegernummer 12717996
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-627)604834764
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-576)309109426
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-599)DNB995195927
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)845564095
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)698862595
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)845564095
035 ## - Systemkontrollnummer
System-Kontrollnummer (ZBM)1167.68006
035 ## - Systemkontrollnummer
System-Kontrollnummer (JUB)b19584891
035 ## - Systemkontrollnummer
System-Kontrollnummer (ZBM)1167.68006
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
044 ## - Ländercode der veröffentlichenden/herstellenden Stelle
ISO-Ländercode XA-DE-BE
-- XD-US
050 #0 - Signatur der Library of Congress
Notation QA76.9.A96
084 ## - Andere Notation
Notation SS 4800
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143528:
084 ## - Andere Notation
Notation *68-06
Quelle der Nummer msc
084 ## - Andere Notation
Notation 03-06
Quelle der Nummer msc
084 ## - Andere Notation
Notation 68T15
Quelle der Nummer msc
084 ## - Andere Notation
Notation 03B35
Quelle der Nummer msc
084 ## - Andere Notation
Notation 00B25
Quelle der Nummer msc
084 ## - Andere Notation
Notation 54.72
Quelle der Nummer bkl
084 ## - Andere Notation
Notation 54.10
Quelle der Nummer bkl
084 ## - Andere Notation
Notation 54.71
Quelle der Nummer bkl
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
Notation (OCLC) (R) ; Notation, CALL (RLIN) (NR) a
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC)
Notation Sa 18
245 10 - Titel
Titel Automated deduction - CADE-22
Zusatz zum Titel 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings
Verfasserangabe etc. Renate A. Schmidt (ed.)
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort Berlin
-- Heidelberg [u.a.]
Produzent, Herausgeber, Distributor, Hersteller Springer
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks 2009
300 ## - Physische Beschreibung
Umfang XIV, 504 S.
Andere physische Details graph. Darst.
Maße 235 mm x 155 mm
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 Lecture Notes in Computer Science
Bandnummer/Folgebezeichnung 5663
Gesamttitelangabe Lecture Notes in Artificial Intelligence
500 ## - Allgemeine Fußnote
Allgemeine Fußnote Literaturangaben
580 ## - Fußnote zum Umfang der Verknüpfungseintragung
Fußnote zum Umfang der Verknüpfungseintragung Automated Deduction CADE-22
583 1# - Fußnote zum Bearbeitungsvermerk
Bearbeitung Archivierung prüfen
Zeit/Datum der Bearbeitung 20200919
Autorisierende Stelle DE-640
OPAC-Notiz 3
Quelle der Ansetzung oder des Terms pdager
583 1# - Fußnote zum Bearbeitungsvermerk
Bearbeitung Archivierung/Langzeitarchivierung gewährleistet
Autorisierende Stelle PEBW
Quelle der Ansetzung oder des Terms pdager
Das Unterfeld gibt die Institution an, auf die sich das Feld bezieht DE-31
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort
Sachschlagwort oder geografischer Name als Eintragungselement Automatic theorem proving
Unterteilung nach Form Congresses
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort
Sachschlagwort oder geografischer Name als Eintragungselement Logic, Symbolic and mathematical
Unterteilung nach Form Congresses
653 ## - Indexierungsterm - Nicht normiert
-- Automatisches Beweisverfahren
-- 209175370
655 #7 - Indexierungsterm - Genre/Form
Genre/Form oder fokussierter Term Konferenzschrift
Chronologische Unterteilung 2009
Geografische Unterteilung Montréal
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-101
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only]
Geografischer Name BO
700 1# - Nebeneintragung - Personenname
Personenname Schmidt, Renate A.
Funktionsbezeichnung Hrsg.
Code für Beziehungskennzeichnung edt
711 2# - Nebeneintragung - Kongressname
Kongress- oder Gebietskörperschaftsname als Eintragungselement CADE
Sonstige Informationen International Conference on Automated Deduction
Zählung eines Teils/einer Abteilung/eines Kongresses 22
Datum des Kongresses oder der Vertragsunterzeichnung 2009
Ort des Kongresses Montréal
IDN des Normdatensatzes oder Standardnummer (DE-588)16015680-4
-- (DE-627)605390495
-- (DE-576)308892127
Code für Beziehungskennzeichnung oth
Koha-Normdatenidentnummer 33119
775 0# - Andere Ausgabe
Haupteintragung Online-Ausg.: / Automated Deduction CADE-22
776 08 - Andere physische Form
Verweisungsphrase Online-Ausg.
Titel Automated Deduction – CADE-22
Ort, Verlag und Erscheinungsjahr Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
Physische Beschreibung Online-Ressource (digital)
Datensatzkontrollnummer (DE-627)1648311008
-- (DE-576)310018749
Internationale Standardbuchnummer 9783642029592
800 ## - Nebeneintragung unter dem Gesamttitel - Personenname
Bandnummer/Folgebezeichnung 5663
830 #0 - Nebeneintragung unter dem Gesamttitel - Einheitstitel
Einheitstitel Lecture notes in computer science
Datensatzkontrollnummer (DE-627)129300152
-- (DE-576)014492687
-- (DE-600)121909-1
Internationale Standardseriennummer 0302-9743
Kontrollunterfeld ns
Bandnummer/Folgebezeichnung 5663
856 42 - Elektronische Adresse und Zugriff
URL <a href="http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017701465&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017701465&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</a>
Zugriffszeiten 2015-12-07
Spezifische Materialangaben Inhaltsverzeichnis
856 42 - Elektronische Adresse und Zugriff
URL <a href="https://zbmath.org/?q=an:1167.68006">https://zbmath.org/?q=an:1167.68006</a>
Kontaktstelle für Hilfe beim Zugriff B:ZBM
Zugriffszeiten 2021-04-12
Verknüpfungstext Zentralblatt MATH
Spezifische Materialangaben Inhaltstext
935 ## -
-- sf
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) SS 4800
-- Lecture notes in computer science
-- Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen
-- Schriftenreihen (indiv. Sign.)
-- Lecture notes in computer science
-- (DE-627)1271461242
-- (DE-625)rvk/143528:
-- (DE-576)201461242
936 bk - 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) 54.72
-- Künstliche Intelligenz
-- (DE-627)10641240X
936 bk - 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) 54.10
-- Theoretische Informatik
-- (DE-627)106418815
936 bk - 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) 54.71
-- Logikprogrammierung
-- (DE-627)106418912
942 ## - Zusätzliche Felder (Koha)
Koha-Medientyp Buch
Exemplare
Ausgeschieden Verloren Beschädigt Nicht entleihbar Sammlung Besitzstand/Homebranch/Heimatbibliothek Gebäude/Aufenthaltsbibliothek Aufstellungsort Erwerbungsdatum Inventarnummer Anzahl Ausleihen Signatur Barcode Letzte Aktivität Koha-Medientyp
      restricted use MPI-INF (E1 5) HOMEBRANCH: Max-Planck-Institut für Informatik Gebäude E1 5 (MPI-SWS SB) Internal 08/11/2010 MPI-I-19965   LNCS LNAI 5663 2000000295046 13/09/2023 Buch
      restricted use MPI-INF (E1 5) HOMEBRANCH: Max-Planck-Institut für Informatik Gebäude E1 5 (MPI-SWS SB) Internal 06/12/2010 MPI-I-20138   LNCS LNAI 5663 2.Ex 2000000284750 13/09/2023 Buch
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Max-Planck-Institut für Informatik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Series (GF) 03/09/2009 MPI-I-B-18357   LNCS LNAI 5663 2000000272856 13/09/2023 Buch

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha