Journal of Automated Reasoning

Titel
  • Journal of Automated Reasoning
  • Journal of automated reasoning
  • J AUTOM REASONING
ISSNs0168-7433
Weitere durchsuchbare ISSN (elektronisch)1573-0670
VerlagSpringer Netherlands
ZDB-ID51516-4
Scopus-ID24354