Logic in computer science : (Αριθ. εγγραφής 93112)
[ απλή προβολή ]
000 -LEADER | |
---|---|
fixed length control field | 01672nam a2200373 u 4500 |
001 - CONTROL NUMBER | |
control field | 10107050 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | upatras |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20210922120501.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 040903s2004 enka eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 052154310X |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | ITY |
Transcribing agency | GR-PaULI |
Language of cataloging | gre |
Modifying agency | GR-PaULI |
Description conventions | AACR2 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Edition number | 23 |
Classification number | 005.1 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
9 (RLIN) | 126199 |
Personal name | Huth, Michael, |
Dates associated with a name | 1962- |
Relator term | συγγραφέας |
245 10 - TITLE STATEMENT | |
Title | Logic in computer science : |
Remainder of title | modelling and reasoning about systems / |
Statement of responsibility, etc. | Michael Huth, Mark Ryan. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc. | Cambridge : |
Name of publisher, distributor, etc. | Cambridge University Press, |
Date of publication, distribution, etc. | c2004. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xiv, 427 σ. : |
Other physical details | εικ. ; |
Dimensions | 25 εκ. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc | Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο. |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Λογική, Συμβολική και μαθηματική |
9 (RLIN) | 472 |
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | Λογικός προγραμματισμός |
9 (RLIN) | 61492 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
9 (RLIN) | 126200 |
Personal name | Ryan, Mark, |
Dates associated with a name | 1962- |
Relator term | συγγραφέας |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Koha item type | Book |
998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
Cataloger's initials, CIN (RLIN) | ΓΚΟΓΚΟΥ |
First Date, FD (RLIN) | 2021-09 |
Lost status | Collection code | Home library | Current library | Shelving location | Total Checkouts | Full call number | Barcode | Koha item type |
---|---|---|---|---|---|---|---|---|
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Βασική Συλλογή | 005.1 HUT | 025000285486 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Βασική Συλλογή | 005.1 HUT | 025000285490 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285494 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285498 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285502 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285463 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000285467 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000283095 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 HUT | 025000283094 | Book [21] | ||
Non-fiction | ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | Αποθήκη 2.1 | 005.1 ΗUT | 025000279766 | Book [21] | ||
ΒΚΠ - Πατρα | ΒΚΠ - Πατρα | 005.1 | 025000283093 | Book | ||||
Μηχανικών Η/Υ και Πληροφορικής | Μηχανικών Η/Υ και Πληροφορικής | 005.1 HUT |