Logic in computer Science (Record no. 157)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00546pam a2200193a 44500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140414b2012 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780521670890 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.151 |
| Item number | HUT |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | HUTH MICHAEL |
| 245 ## - TITLE STATEMENT | |
| Title | Logic in computer Science |
| Remainder of title | Modelling and Reasoning about Systems |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2 Ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | New Delhi |
| Name of publisher, distributor, etc. | CAMBRIDGE UNIVERSITY PRESS |
| Date of publication, distribution, etc. | 2012 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiii,427p |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer logic |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Logic programming |
| 690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN) | |
| Topical term or geographic name as entry element | Computer Science and Engineering |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | RYAN MARK |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | General Books |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Total Renewals | Full call number | Barcode | Date last seen | Date checked out | Price effective from | Koha item type | Source of classification or shelving scheme |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 01/12/2012 | 4 | 6 | 004. HUT,E-2 | 71684 | 20/03/2017 | 15/01/2017 | 15/04/2014 | General Books | ||||||
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 14/06/2012 | 13 | 18 | 004. HUT | 78650 | 20/10/2021 | 28/09/2021 | 15/04/2014 | General Books | ||||||
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 04/11/2023 | 12 | 14 | 005.151 HUT | 78649 | 13/12/2021 | 25/10/2021 | 15/04/2014 | General Books | Dewey Decimal Classification | |||||
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 14/06/2012 | 21 | 9 | 004. HUT | 78648 | 14/09/2022 | 14/09/2022 | 15/04/2014 | General Books | ||||||
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 14/06/2012 | 11 | 15 | 004. HUT | 78647 | 12/03/2019 | 11/03/2019 | 15/04/2014 | General Books | ||||||
| Malaviya National Institute of Technology | Malaviya National Institute of Technology | 14/06/2012 | 16 | 14 | 004. HUT,E-2 | 78646 | 03/11/2022 | 05/09/2022 | 15/04/2014 | General Books |