Campusbibliothek

Foundations of disjunctive logic programming (Titelsatznr. 68407)

[ MARC ]
MARC-Details
000 -Satzkennung
Kontrollfeld mit fester Länge 03026nam a2200697 u 4500
001 - Kontrollnummer
Kontrollfeld 278080944
003 - Kontrollnummer Identifier
Kontrollfeld DE-627
005 - Datum und Zeit der letzten Transaktion
Kontrollfeld 20231009151538.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 921118s1992 xxu||||| 00| ||eng c
013 ## - Kontrollinformationen für Patente
Nummer 110467523
016 7# - Kontrollnummer der nationalbibliografischen Agentur
Datensatzkontrollnummer b9232268
Quelle UK
020 ## - Internationale Standardbuchnummer
Internationale Standardbuchnummer 0262121654
-- 0-262-12165-4
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-627)278080944
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-576)029629063
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-599)GBV278080944
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)25130907
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)231402433
035 ## - Systemkontrollnummer
System-Kontrollnummer (OCoLC)25130907
035 ## - Systemkontrollnummer
System-Kontrollnummer (DE-604)8058562834
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 XD-US
-- XA-GB
050 #0 - Signatur der Library of Congress
Notation QA76.63
082 0# - Notation nach der Dewey Decimal Classification
Notation 005.1
084 ## - Andere Notation
Notation SK 130
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143216:
084 ## - Andere Notation
Notation ST 120
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143585:
084 ## - Andere Notation
Notation ST 130
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143588:
084 ## - Andere Notation
Notation ST 230
Quelle der Nummer rvk
IDN des Normdatensatzes oder Standardnummer (DE-625)rvk/143617:
084 ## - Andere Notation
Notation 54.71
Quelle der Nummer bkl
092 ## - LOCALLY ASSIGNED DEWEY CALL NUMBER (OCLC)
Notation Sa 18
-- 291/407
100 1# - Haupteintragung - Personenname
Personenname Lobo, Jorge
Code für Beziehungskennzeichnung aut
245 10 - Titel
Titel Foundations of disjunctive logic programming
Verfasserangabe etc. Jorge Lobo; Jack Minker; Arcot Rajasekar
264 #1 - Produktion, Veröffentlichung, Distribution, Herstellung und Urheberrechtsvermerk
Herstellungs-, Veröffentlichungs- Vertriebs-, Erzeugungsort Cambridge, Mass. [u.a.]
Produzent, Herausgeber, Distributor, Hersteller MIT Press
Datum der Herstellung, der Veröffentlichung, des Vertriebs oder des Urheberschutzvermerks 1992
300 ## - Physische Beschreibung
Umfang 307 p
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 0# - Gesamttitelangabe
Gesamttitelangabe Logic programming
500 ## - Allgemeine Fußnote
Allgemeine Fußnote Includes bibliographical references (p. [275] - 290) and indexes
650 #0 - Nebeneintragung unter einem Schlagwort - Sachschlagwort
Sachschlagwort oder geografischer Name als Eintragungselement Logic programming
653 #0 - Indexierungsterm - Nicht normiert
Nicht-normierter Term Logic programming (Computer science)
689 00 -
-- s
-- (DE-588)4195096-3
-- (DE-627)105214477
-- (DE-576)210098767
-- Logische Programmierung
-- gnd
689 0# -
-- (DE-627)
689 10 -
-- s
-- (DE-588)4195096-3
-- (DE-627)105214477
-- (DE-576)210098767
-- Logische Programmierung
-- gnd
689 1# -
-- (DE-627)
951 ## - EQUIVALENCE OR CROSS-REFERENCE--GEOGRAPHIC NAME/AREA NAME [OBSOLETE] [CAN/MARC only]
Geografischer Name BO
700 1# - Nebeneintragung - Personenname
Personenname Minker, Jack
Code für Beziehungskennzeichnung aut
700 1# - Nebeneintragung - Personenname
Personenname Rajasekar, Arcot
Code für Beziehungskennzeichnung aut
889 ## -
-- (DE-627)110467523
935 ## -
-- mdedup
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) SK 130
-- Logik und Grundlagen, Metamathematik,
-- Monografien
-- Logik und Grundlagen, Metamathematik,
-- (DE-627)1270918567
-- (DE-625)rvk/143216:
-- (DE-576)200918567
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 120
-- Grundlagen der Informatik
-- Monografien
-- Grundlagen der Informatik
-- Grundlagen der Informatik
-- (DE-627)1271493888
-- (DE-625)rvk/143585:
-- (DE-576)201493888
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 130
-- Allgemeines
-- Monografien
-- Grundlagen der Informatik
-- Theoretische Informatik
-- Allgemeines
-- (DE-627)1270877461
-- (DE-625)rvk/143588:
-- (DE-576)200877461
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 230
-- Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
-- Monografien
-- Software und -entwicklung
-- Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
-- (DE-627)1270877534
-- (DE-625)rvk/143617:
-- (DE-576)200877534
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
        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) Books A-Z (1st) 27/02/2009 MPI-I-B-1158   LOB j 1992:1 2.Ex 2000000046914 13/09/2023 Buch
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Books A-Z (1st) 27/02/2009 20607   LOB j 1992:1 3.Ex 2204000011686 13/09/2023 Buch
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Universität des Saarlandes Fachrichtung Informatik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Books A-Z (1st) 27/02/2009 M 8790   LOB j 1992:1 1.Ex 2200000017437 13/09/2023 Buch
        Campusbibliothek für Informatik und Mathematik (E2 3) HOMEBRANCH: Universität des Saarlandes Fachrichtung Mathematik Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Books A-Z (1st) 01/04/2009 8790   GER h2 1963:1 1.Ex 2201000029833 13/09/2023 Buch

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha