Extraction of Expansion Trees. [electronic resource]

By: Contributor(s): Publication details: Journal of automated reasoning 2019Description: 393-430 p. digitalISSN:
  • 1573-0670
Online resources: In: Journal of automated reasoning vol. 62
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.