000			02064nmm a2200409Ia 4500
001			00010687
003			WSP
005			20220711214108.0
007			cr |uu|||uu|||
008			190107s2018 si a ob 001 0 eng d
040			_aWSPC _beng _cWSPC
020			_a9789813229211 _q(ebook)
020			_z9789813229204 _q(hbk.)
020			_z9789813230507 _q(pbk.)
050	0	4	_aQA267.3 _b.R53 2018
072		7	_aCOM _x012040 _2bisacsh
072		7	_aCOM _x036000 _2bisacsh
072		7	_aCOM _x042000 _2bisacsh
082	0	4	_a005.13/1 _223
100	1		_aRichards, Dana, _d1955- _93544
245	1	0	_aLogic and language models for computer science _h[electronic resource] / _cDana Richards, Henry Hamburger.
250			_a3rd ed.
260			_aSingapore : _bWorld Scientific Publishing Co. Pte Ltd., _c©2018.
300			_a1 online resource (468 p.) : _bill.
538			_aSystem requirements: Adobe Acrobat Reader.
538			_aMode of access: World Wide Web.
588			_aTitle from web page (viewed January 18, 2019).
504			_aIncludes bibliographical references and index.
520			_a"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."-- _cPublisher's website.
650		0	_aFormal languages. _93545
650		0	_aDescription logics. _93546
650		0	_aArtificial intelligence. _93407
650		0	_aElectronic books. _920582
700	1		_aHamburger, Henry, _d1940- _93548
856	4	0	_uhttps://www.worldscientific.com/worldscibooks/10.1142/10687#t=toc _zAccess to full text is restricted to subscribers.
942			_cEBK
999			_c72461 _d72461