Journal of Automated Reasoning
Publisher: | Hybrid |
ISSN: | 0168-7433 |
E-ISSN: | 1573-0670 |
Categories: | Information Technology - General and Others Mathematical Sciences - Algorithms Mathematical Sciences - Applied Mathematics Mathematical Sciences - Stochastic Computation |
Available online: | Availability | Usage Restrictions |
---|---|---|
Canadian Research Knowledge Network SpringerLink Archive | Available from 1985/03/01 volume: 1 issue: 1 until 1996/12/31 volume: 17 issue: 3 | E-Reserve CMS Course Packs Link Print More Info |
Canadian Research Knowledge Network SpringerLink Current | Available from 1997 volume: 18 issue: 1 | E-Reserve CMS Course Packs Link Print More Info |