Explore the latest books of this year!
Bookbot

Thomas Kolbe

    Optimizing proof search by machine learning techniques