Computational logic / (Αριθ. εγγραφής 123690)

Στοιχεία MARC
000 -LEADER
fixed length control field 01229nam a2200277 u 4500
001 - CONTROL NUMBER
control field 10031844
003 - CONTROL NUMBER IDENTIFIER
control field GR-PaULI
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20210831143135.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 000118s1999 ge eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540645896
040 ## - CATALOGING SOURCE
Original cataloging agency GR-PaULI
Transcribing agency GR-PaULI
Language of cataloging gre
Description conventions AACR2
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004.015 113
Edition number 23
111 ## - MAIN ENTRY--MEETING NAME
9 (RLIN) 176635
Meeting name or jurisdiction name as entry element NATO Advanced Study Institute on Computational Logic
Date of meeting (1997 :
Location of meeting Marktoberdorf, Germany)
245 10 - TITLE STATEMENT
Title Computational logic /
Statement of responsibility, etc. edited by Ulrich Berger, Helmut Schwichtenberg.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc. Berlin :
Name of publisher, distributor, etc. Springer,
Date of publication, distribution, etc. 1999.
300 ## - PHYSICAL DESCRIPTION
Extent 444 σ. :
Other physical details εικ. ;
Dimensions 25 εκ.
490 1# - SERIES STATEMENT
Series statement NATO ASI series : Series F: Computer and systems sciences
Volume/sequential designation 165.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Επιστήμη των υπολογιστών
9 (RLIN) 4210
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Λογική, Συμβολική και μαθηματική
9 (RLIN) 472
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Berger, Ulrich,
Dates associated with a name 1956-
Relator code
Relator term επιμελητής.
9 (RLIN) 124786
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schwichtenberg, Helmut,
Dates associated with a name 1955-
Relator code
9 (RLIN) 147668
Relator term επιμελητής.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
9 (RLIN) 163532
Uniform title NATO ASI series.
Name of part/section of a work Computer and systems sciences
Volume number/sequential designation 165.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Book [Not For Loan]
998 ## - LOCAL CONTROL INFORMATION (RLIN)
Cataloger's initials, CIN (RLIN) ΜΠΟΥΡΑΣ
First Date, FD (RLIN) 2019-06
Αντίτυπα
Lost status Home library Current library Shelving location Inventory number Total Checkouts Full call number Barcode Koha item type
  ΒΚΠ - Πατρα ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο 5579   Π/Σ 004.015 113 NAT 025000284122 Book [21]
  ΒΚΠ - Πατρα ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο 054837   Π/Σ 004.015 113 NAT 025000073949 Book [Not For Loan]
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα
Τηλ: 2610969621, Φόρμα επικοινωνίας
Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud