Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Automated Reasoning: 33 Basic Research Problems.

Automated Reasoning: 33 Basic Research Problems. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png The Journal of Symbolic Logic CrossRef

Automated Reasoning: 33 Basic Research Problems.

The Journal of Symbolic Logic , Volume 53 (4): 1258 – Dec 1, 1988

Automated Reasoning: 33 Basic Research Problems.

The Journal of Symbolic Logic , Volume 53 (4): 1258 – Dec 1, 1988

Loading next page...
 
/lp/crossref/automated-reasoning-33-basic-research-problems-fv2PZmWrQ4

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
CrossRef
ISSN
0022-4812
DOI
10.2307/2274625
Publisher site
See Article on Publisher Site

Abstract

Journal

The Journal of Symbolic LogicCrossRef

Published: Dec 1, 1988

There are no references for this article.