160.9
Genesereth, Michael R., 1948-,
Introduction to logic / / Michael Genesereth, Eric Kao. .- Third edition. .- 1 PDF (xiii, 163 pages) :. illustrations. ** Synthesis lectures on computer science, * # 8 1932-1686 ; )
BC15 / .G455 2017 - Synthesis digital library of engineering and computer science. Synthesis lectures on computer science ; # 8. .
Part of: Synthesis digital library of engineering and computer science. Series from website.
Includes bibliographical references (page 161).
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: 9781627059992
10.2200/S00734ED2V01Y201609CSL008 doi
Subject Headings:
Logic.;
Herbrand's theorem (Number theory);
formal logic symbolic logic propositional logic Herbrand logic relational logic deduction reasoning artificial intelligence
Author Added Entry:
Kao, Eric.,;
Copy Details:
Acc. No.: EBKE731, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Genesereth, Michael R., 1948-,
Introduction to logic / / Michael Genesereth, Eric Kao. .- Third edition. .- 1 PDF (xiii, 163 pages) :. illustrations. ** Synthesis lectures on computer science, * # 8 1932-1686 ; )
BC15 / .G455 2017 - Synthesis digital library of engineering and computer science. Synthesis lectures on computer science ; # 8. .
Part of: Synthesis digital library of engineering and computer science. Series from website.
Includes bibliographical references (page 161).
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: 9781627059992
10.2200/S00734ED2V01Y201609CSL008 doi
Subject Headings:
Logic.;
Herbrand's theorem (Number theory);
formal logic symbolic logic propositional logic Herbrand logic relational logic deduction reasoning artificial intelligence
Author Added Entry:
Kao, Eric.,;
Copy Details:
Acc. No.: EBKE731, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------