The CADE-27 Automated theorem proving System Competition – CASC-27.
- Published in:
- AI Communications, 2019, v. 32, n. 5/6, p. 373, doi. 10.3233/AIC-190627
- By:
- Publication type:
- Article
Works matching IS 09217126 AND DT 2019 AND VI 32 AND IP 5/6
Results: 3
1
2
A feature selection approach combining neural networks with genetic algorithms.
- Published in:
- AI Communications, 2019, v. 32, n. 5/6, p. 361, doi. 10.3233/AIC-190626
- By:
- Publication type:
- Article
3
Improving strategic decision making by the detection of weak signals in heterogeneous documents by text mining techniques.
- Published in:
- AI Communications, 2019, v. 32, n. 5/6, p. 347, doi. 10.3233/AIC-190625
- By:
- Publication type:
- Article