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...

Full description

Saved in:
Bibliographic Details
Main Author: Chandru, Vijay, 1953-
Other Authors: Hooker, John, 1949-
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