Logic and language models for computer science (Record no. 72461)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02064nmm a2200409Ia 4500 |
001 - CONTROL NUMBER | |
control field | 00010687 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20220711214108.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 190107s2018 si a ob 001 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9789813229211 |
-- | (ebook) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
-- | (hbk.) |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
-- | (pbk.) |
082 04 - CLASSIFICATION NUMBER | |
Call Number | 005.13/1 |
100 1# - AUTHOR NAME | |
Author | Richards, Dana, |
245 10 - TITLE STATEMENT | |
Title | Logic and language models for computer science |
250 ## - EDITION STATEMENT | |
Edition statement | 3rd ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Singapore : |
Publisher | World Scientific Publishing Co. Pte Ltd., |
Year of publication | ©2018. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | 1 online resource (468 p.) : |
520 ## - SUMMARY, ETC. | |
Summary, etc | "This text presents the formal concepts underlying Computer Science. It starts with a wide 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: it emphasizes 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."-- |
700 1# - AUTHOR 2 | |
Author 2 | Hamburger, Henry, |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | https://www.worldscientific.com/worldscibooks/10.1142/10687#t=toc |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | eBooks |
588 ## - | |
-- | Title from web page (viewed January 18, 2019). |
520 ## - SUMMARY, ETC. | |
-- | Publisher's website. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Formal languages. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Description logics. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Artificial intelligence. |
650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
-- | Electronic books. |
No items available.