A Fully Automatic Theorem Prover with Human-Style Output. [electronic resource]

By: Contributor(s): Publication details: Journal of automated reasoning 2017Description: 253-291 p. digitalISSN:
  • 1573-0670
Online resources: In: Journal of automated reasoning vol. 58
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.