Követés
Simon Schäfer
Simon Schäfer
DHBW Stuttgart
E-mail megerősítve itt: simon-schaefer.net
Cím
Hivatkozott rá
Hivatkozott rá
Év
Breeding Theorem Proving Heuristics with Genetic Algorithms.
S Schäfer, S Schulz
GCAI, 263-274, 2015
342015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.