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:AvailabilityUsage Restrictions
Canadian Research Knowledge Network SpringerLink ArchiveAvailable from 1985/03/01 volume: 1 issue: 1 until 1996/12/31 volume: 17 issue: 3E-Reserve CMS Course Packs Link Print More Info
Canadian Research Knowledge Network SpringerLink CurrentAvailable from 1997 volume: 18 issue: 1E-Reserve CMS Course Packs Link Print More Info