Journal of Automated Reasoning

Titles
  • Journal of Automated Reasoning
  • Journal of automated reasoning
  • J AUTOM REASONING
ISSNs0168-7433
Additional searchable ISSN (electronic)1573-0670
PublisherSpringer Netherlands
ZDB-ID51516-4
Scopus ID24354