| 000 -LEADER |
|---|
| fixed length control field |
02087nam a22003497a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
CITU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20240523143022.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
240306b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9789811260667 |
| Qualifying information |
(hardcover) |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Language of cataloging |
eng |
| Description conventions |
rda |
| Transcribing agency |
DLC |
| Modifying agency |
DLC |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA267.3 |
| Item number |
.H35 2023 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.13/1 |
| Edition number |
23/eng20221007 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Preferred name for the person |
Richards, Dana, |
| Relator term |
author. |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Logic and language models for computer science / |
| Statement of responsibility, etc |
Dana Richards, Henry Hamburger, George Mason University, USA. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
Fourth edition. |
| 264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New Jersey: |
| Name of publisher, distributor, etc |
World Scientific , |
| Date of publication, distribution, etc |
[2023] |
| 264 #4 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Date of publication, distribution, etc |
©2023 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xix, 476 pages ; |
| Dimensions |
24 cm |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
unmediated |
| Media type code |
n |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
volume |
| Carrier type code |
nc |
| Source |
rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references (pages 467-470) and index. |
| 505 0# - CONTENTS |
|---|
| Formatted contents note |
Contents:<br/><br/>Preface<br/>About the Author<br/>Mathematical Preliminaries<br/>Logic for Computer Science:<br/>Propositional Logic<br/>Proofs by Deduction<br/>Predicate Logic<br/>Proofs with Predicates<br/>Program Verification<br/>Language Models for Computer Science:<br/>Language and Models<br/>Generating Regular Languages<br/>Finite Automata<br/>Context-Free Grammars<br/>Pushdown Automata and Parsing<br/>Turing Machines<br/>Appendices:<br/>Logic Programming<br/>The AWK Language<br/>Answers to Selected Problems<br/>Bibliography<br/>Index |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
"This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities"-- |
| Assigning source |
Provided by publisher. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formal languages. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Description logics. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Artificial intelligence. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hamburger, Henry, |
| Dates associated with a name |
1940- |
| Relator term |
author. |
| 942 ## - ADDED ENTRY ELEMENTS |
|---|
| Source of classification or shelving scheme |
|
| Item type |
BOOK |
| Issues (borrowed), all copies |
1 |