Journal of Automated Reasoning

Venue Information

  • issn: 0168-7433 (print); 1573-0670 (online)

JAR @ SpringerLink

Association for Automated Reasoning

a service of Schloss Dagstuhl - Leibniz Center for Informatics