A Machine-Oriented Logic Based on the Resolution Principle | Journal of the ACM - discu.eu

Linking pages

Intensional Functions | Proceedings of the ACM on Programming Languages https://dl.acm.org/doi/abs/10.1145/3689714 5 comments

Related searches:

Search whole site: site:dl.acm.org

Search title: A Machine-Oriented Logic Based on the Resolution Principle | Journal of the ACM

See how to search.

Submit link to: