Optimization methods for logical inference
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Series: |
Wiley-Interscience series in discrete mathematics and optimization
|
Subjects: | |
Online Access: |
http://onlinelibrary.wiley.com/book/10.1002/9781118033166 |
Item Description: | "A Wiley-Interscience publication." |
Carrier Form: | 1 online resource (xi, 365 pages). |
Bibliography: | Includes bibliographical references (pages 333-357) and index. |
ISBN: |
9781118031414 (electronic bk.) 1118031415 (electronic bk.) 9781118033166 (electronic bk.) 1118033167 (electronic bk.) |
Index Number: | QA402 |
CLC: | O141 |
Contents: | Front Matter -- Introduction -- Propositional Logic: Special Cases -- Propositional Logic: The General Case -- Probabilistic and Related Logics -- Predicate Logic -- Nonclassical and Many-Valued Logics -- Appendix: Linear Programming -- Bibliography -- Index -- Wiley-Interscience Series in Discrete Mathematics and Optimization -- |