Learning-assisted theorem proving with millions of lemmas. [electronic resource]

By: Contributor(s): Publication details: Journal of symbolic computation Jul 2015Description: 109-128 p. digitalISSN:
  • 0747-7171
Online resources: In: Journal of symbolic computation vol. 69
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Publication Type: Journal Article

There are no comments on this title.

to post a comment.