학술논문
An Approximation Framework for Solvers and Decision Procedures
Document Type
Article
Author
Source
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 1 January 2017, 58(1):127-147)
Subject
Language
English
ISSN
15730670
01687433
01687433