Handbook of practical logic and automated reasoning John Harrison

By:

Publication details: Cambridge Cambridge University Press 2009Description: xix, 681 p. : ill. ; 26 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	006.3 HAR (Browse shelf(Opens below))	Available		104402

Previous								Next
Previous	006.3 HAG Neural network design	006.3 HAL Beyond Al: creating the conscience of the machine	006.3 HAL Managing AI in the enterprise succeeding with AI projects and MLOps to build sustainable AI organizations	006.3 HAR Handbook of practical logic and automated reasoning	006.3 HAS Deep Learning in Computer Vision	006.3 HEL Any time, anywhere computing : mobile computing concepts and technology	006.3 HEL Machine learning for oracle database professionals deploying model-driven applications and automation pipelines	Next

Includes bibliographical references (p. 631-667) and index

There are no comments on this title.

to post a comment.

Back to results

Find us on the map