Logic and language models for computer science / (Record no. 79506)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01238nam a22002177a 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220705b2020 |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780000988850 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.131 RIC-D |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Richards, Dana |
| 245 ## - TITLE STATEMENT | |
| Title | Logic and language models for computer science / |
| Statement of responsibility, etc. | Dana Richards and Henry Hamburger |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 3rd ed., |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | New Jersey |
| Name of publisher, distributor, etc. | World Scientific |
| Date of publication, distribution, etc. | 2020 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 451p. |
| 365 ## - TRADE PRICE | |
| Price type code | INR |
| Price amount | 1195.00 |
| 500 ## - GENERAL NOTE | |
| General note | This text presents the formal concepts underlying Computer Science. It starts with a comprehensive introduction to logic with an emphasis on reasoning and proof, with chapters on program verification and Prolog. The treatment of computability with automata and formal languages stands out in several ways. For example, it emphasises the algorithmic nature of the proofs and the reliance on simulations: it stresses the centrality of nondeterminism in generative models and the relationship to deterministic recognition models. The style is appropriate for both undergraduate and graduate classes. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Description logics |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal languages |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer hardware description languages |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer logic |
| 952 ## - LOCATION AND ITEM INFORMATION (KOHA) | |
| Withdrawn status | |
| Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Date last checked out | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | 003-007 | BITS Pilani Hyderabad | BITS Pilani Hyderabad | General Stack (For lending) | 05/07/2022 | 1195.00 | 4 | 005.131 RIC-D | 45531 | 13/07/2024 | 15/12/2023 | 05/07/2022 | Books |