Journal of Automated Reasoning

Collection
Springer Nature Journals
Publisher
Springer Nature
Subject
Artificial Intelligence; Computational Theory and Mathematics; Software
Access From
1997
Access To
current
issn
0168-7433
eissn
1573-0670