Journal of Automated Reasoning
Title Titel
Journal of Automated Reasoning
e-ISSN
1573-0670
ISSN
0168-7433
Publisher Herausgeber
SPRINGER