Screen LibraryOptimization 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 -- |