Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Data mining --- Machine learning --- 681.3*F22 <063> --- 681.3*F41 <063> --- 681.3*G3 <063> --- 681.3*H3 <063> --- 681.3*H33 <063> --- 681.3*I23 <063> --- 681.3*I53 <063> --- 681.3*I7 <063> --- 681.3*J1 <063> --- 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen --- 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 --- 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 --- Probability and statistics: probabilistic algorithms (including Monte Carlo);random number generation; statistical computing; statistical software (Mathematics of computing)--Congressen --- Information storage and retrieval--Congressen --- Information search and retrieval: clustering; query formulation; retrieval models; search process; selection process--Congressen --- Clustering: algorithms; similarity measures (Pattern recognition)--Congressen --- Text processing (Computing methodologies)--See also {681.3*H4}--Congressen --- Administrative data processing (Computer applications)--Cursussen. Instructies. Onderwijs--Congressen --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*H2 <063> --- 681.3*H28 <063> --- 681.3*I2 <063> --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- Database management: security; integrity; protection--See also {?681.5*E5}--Congressen --- Database applications--Congressen