000			01234 a2200241 4500
003			Nust
005			20230904090523.0
010			_a 2004044058
020			_c0471484032 (cloth)
040			_cNust
082	0	0	_a621.395,TRU
100	1		_aTruemper, K., _999192
245	1	0	_aDesign of logic-based intelligent systems / _cKlaus Truemper.
260			_aHoboken, NJ : _bJohn Wiley, _c2004.
300			_axii, 352 p. ; _c24 cm.
505			_aIntroduction (Page-1), Logic Problems (Page-9), Variations of SAT And MINSAT (Page-34), Quantified SAT and MINSAT (Page-55), Formulation of Logic Sys (Page-95), Uncertainty (Page-132), Learning (Page-155), Learning Formulas (Page-157), Accuracy of Learned Formulas (Page-197), Advanced Reasoning (Page-233), Question and Answer Process (Page-256), Applications (Page-299).
650		0	_aTelecommunication Engineering
650		0	_aTelecommunication Engineering _999193
856	4	1	_3Contributor biographical information _uhttp://www.loc.gov/catdir/bios/wiley047/2004044058.html
856	4	1	_3Publisher description _uhttp://www.loc.gov/catdir/description/wiley041/2004044058.html
856	4	1	_3Table of contents _uhttp://www.loc.gov/catdir/toc/wiley041/2004044058.html
942			_cREF _2ddc
999			_c175889 _d175889