학술논문
Schematic Refutations of Formula Schemata
Document Type
Article
Author
Source
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, June 2021, 65(5):599-645)
Subject
Language
English
ISSN
15730670
01687433
01687433