This image is currently not available.

Optimizing Proof Search by Machine Learning Techniques

Thomas Kolbe(Author)
Shaker (Publisher)
Published in 1997
Other
Undefined
194 pages
978-3-8265-2971-9 (ISBN)
€47.00incl. 7% vat
Article not available

More details