TY - BOOK ID - 77660946 TI - Machine learning and knowledge discovery in databases. AU - Daelemans, Walter AU - Goethals, Bart. AU - Morik, Katharina PY - 2008 SN - 9783540874782 9783540874805 PB - New York Springer DB - UniCat KW - Data mining KW - Machine learning KW - 681.3*F22 <063> KW - 681.3*F41 <063> KW - 681.3*G3 <063> KW - 681.3*H3 <063> KW - 681.3*H33 <063> KW - 681.3*I23 <063> KW - 681.3*I53 <063> KW - 681.3*I7 <063> KW - 681.3*J1 <063> KW - 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen KW - Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen KW - Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing)--Congressen KW - Information storage and retrieval--Congressen KW - Information search and retrieval: clustering; query formulation; retrieval models; search process; selection process--Congressen KW - Clustering: algorithms; similarity measures (Pattern recognition)--Congressen KW - Text processing (Computing methodologies)--See also {681.3*H4}--Congressen KW - Administrative data processing (Computer applications)--Cursussen. Instructies. Onderwijs--Congressen KW - Information systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - 681.3*H2 <063> KW - 681.3*H28 <063> KW - 681.3*I2 <063> KW - 681.3*I2 <063> Artificial intelligence. AI--Congressen KW - Artificial intelligence. AI--Congressen KW - Database management: security; integrity; protection--See also {?681.5*E5}--Congressen KW - Database applications--Congressen UR - https://www.unicat.be/uniCat?func=search&query=sysid:77660946 AB - ER -