NeuroShell 2

swMATH33532MaRDI QIDQ45241FDOQ45241

Author name not available (Why is that?)

Official website: http://www.wardsystems.com/manuals/neuroshell2/index.html?idxhowuse.htm

Cited In (2)

• Improving the time efficiency of proving theorems using a learning mechanism
• TGTP

This page was built for software: NeuroShell 2