ITU

Journal of Automated Reasoning

Journal of Automated Reasoning

J AUTOM REASONING

Titles
  • Journal of Automated Reasoning
ISSNs
  • 0168-7433
Additional searchable ISSN (Electronic)1573-0670
PublisherSpringer Netherlands
CountryNetherlands

Journal

View graph of relations

ID: 81625611