Optimization methods for logical inference /
Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach.Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Electronic eBook |
Language: | English |
Published: |
New York :
Wiley,
©1999.
|
Series: | Wiley-Interscience series in discrete mathematics and optimization.
|
Subjects: | |
Online Access: | CONNECT |
MARC
LEADER | 00000nam a2200000 a 4500 | ||
---|---|---|---|
001 | in00006108179 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 120125s1999 nyu ob 001 0 eng d | ||
005 | 20240125144420.7 | ||
020 | |a 9781118033166 | ||
020 | |a 9781118031414 |q (electronic bk.) | ||
020 | |a 1118031415 |q (electronic bk.) | ||
020 | |a 1118033167 |q (electronic bk.) | ||
020 | |z 0471570354 | ||
020 | |z 9780471570356 | ||
020 | |a 1283282631 | ||
020 | |a 9781283282635 | ||
020 | |a 9786613282637 | ||
020 | |a 6613282634 | ||
035 | |a (NhCcYBP)e80fa363d91f485b9a695405a0a7a4bb9781118033166 | ||
035 | |a 1wileyeba9781118033166 | ||
037 | |a 10.1002/9781118033166 |b Wiley InterScience |n http://www3.interscience.wiley.com | ||
040 | |a NhCcYBP |b eng |c NhCcYBP | ||
050 | 4 | |a QA402.5 |b .C447 1999eb | |
082 | 0 | 4 | |a 519.3 |2 22 |
100 | 1 | |a Chandru, Vijay, |d 1953- | |
245 | 1 | 0 | |a Optimization methods for logical inference / |c Vijay Chandru, John Hooker. |
260 | |a New York : |b Wiley, |c ©1999. | ||
300 | |a 1 online resource (xi, 365 pages) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Wiley-Interscience Series in Discrete Mathematics and Optimization | |
500 | |a Wiley EBA |5 TMurS | ||
504 | |a Includes bibliographical references (pages 333-357) and index. | ||
588 | 0 | |a Print version record. | |
505 | 0 | |a 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. | |
520 | |a Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach.Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs.""Presenting powerful, proven optimization techniques. | ||
546 | |a English. | ||
650 | 0 | |a Combinatorial optimization. | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
700 | 1 | |a Hooker, John, |d 1949- | |
730 | 0 | |a WILEYEBA | |
776 | 0 | 8 | |i Print version: |a Chandru, Vijay, 1953- |t Optimization methods for logical inference. |d New York : Wiley, ©1999 |z 0471570354 |w (DLC) 98044622 |
830 | 0 | |a Wiley-Interscience series in discrete mathematics and optimization. | |
856 | 4 | 0 | |u https://ezproxy.mtsu.edu/login?url=https://onlinelibrary.wiley.com/book/10.1002/9781118033166 |z CONNECT |3 Wiley |t 0 |
949 | |a ho0 | ||
975 | |p Wiley UBCM Online Book All Titles thru 2023 | ||
976 | |a 6006612 | ||
998 | |a wi |d z | ||
999 | f | f | |s 9cd9ffa6-92a7-454b-af70-110da359b160 |i 9cd9ffa6-92a7-454b-af70-110da359b160 |t 0 |
952 | f | f | |a Middle Tennessee State University |b Main |c James E. Walker Library |d Electronic Resources |t 0 |e QA402.5 .C447 1999eb |h Library of Congress classification |