160.9
Genesereth, Michael R., 1948-
Introduction to logic [electronic resource] / / Michael Genesereth and Eric Kao. .- San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) :: Morgan & Claypool,, c2012. .- 1 electronic text (xiii, 151 p.) :. ill., digital file. ** Synthesis lectures on computer science, * # 5 1932-1686 ; )
BC15 / .G455 2012 - Synthesis digital library of engineering and computer science. Synthesis lectures on computer science ; # 5. .
Part of: Synthesis digital library of engineering and computer science. Series from website.
Includes bibliographical references (p. 149).
Abstract freely available; full-text restricted to subscribers or individual document purchasers.
Compendex INSPEC Google scholar Google book search
Mode of access: World Wide Web.
System requirements: Adobe Acrobat Reader.
ISBN: 9781627050067 (electronic bk.)
10.2200/S00432ED1V01Y201207CSL005 doi
Subject Headings:
Logic.;
formal logic symbolic logic propositional logic Herbrand logic first-order logic deduction reasoning artificial intelligence
Author Added Entry:
Kao, Eric.;
Copy Details:
Acc. No.: EBKE467, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Genesereth, Michael R., 1948-
Introduction to logic [electronic resource] / / Michael Genesereth and Eric Kao. .- San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) :: Morgan & Claypool,, c2012. .- 1 electronic text (xiii, 151 p.) :. ill., digital file. ** Synthesis lectures on computer science, * # 5 1932-1686 ; )
BC15 / .G455 2012 - Synthesis digital library of engineering and computer science. Synthesis lectures on computer science ; # 5. .
Part of: Synthesis digital library of engineering and computer science. Series from website.
Includes bibliographical references (p. 149).
Abstract freely available; full-text restricted to subscribers or individual document purchasers.
Compendex INSPEC Google scholar Google book search
Mode of access: World Wide Web.
System requirements: Adobe Acrobat Reader.
ISBN: 9781627050067 (electronic bk.)
10.2200/S00432ED1V01Y201207CSL005 doi
Subject Headings:
Logic.;
formal logic symbolic logic propositional logic Herbrand logic first-order logic deduction reasoning artificial intelligence
Author Added Entry:
Kao, Eric.;
Copy Details:
Acc. No.: EBKE467, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------