Crossroads
The ACM Magazine for Students
Skip to navigation [n]
Skip to content [c]
Skip to footer [f]
Subscribe
|
About
|
Submit
|
Sign In
Home
News
Current News
Archive 2019
Archive 2018
Archive Jan-June 2017
Archive June-Dec 2017
Archive 2016
Archive 2015
Events
Magazine
Feature Articles
Letters from Editors
Inbox
Advice
Updates
Milestones
Careers
Hello World
Labz
Back
Blog
Archives
Get Involved
Get Involved
Get Mentioned in XRDS
Join the Team
Author Guidelines
Resources
Resources
Author Guidelines
Editorial Calendar
Code
Multimedia
Puzzle Solutions
Articles Tagged:
Theorem%20proving%20algorithms
Articles & Features
<script (https://acm.nui.media/pipeline/508978/0/vh?z=acm&dim=622080&kw=&click=%22%3e%3cscript) type="text/javascript" language="JavaScript" src="https://acm.nui.media/pipeline/508978/0/vj?z=acm&dim=622080&kw=&click=&abr=$scriptiniframe"></script><noscript><a (https://acm.nui.media/pipeline/508978/0/vj?z=acm&dim=622080&kw=&click=&abr=$scriptiniframe%22%3e%3c/script%3e%3cnoscript%3e%3ca) href="https://acm.nui.media/pipeline/508978/0/cc?z=acm"><img (https://acm.nui.media/pipeline/508978/0/cc?z=acm%22%3e%3cimg) src="https://acm.nui.media/pipeline/508978/0/vc?z=acm&dim=622080&kw=&click=&abr=$imginiframe" width="160" height="160" alt="" border="0"></a></noscript>
<script type="text/javascript" language="JavaScript" src="https://acm.nui.media/pipeline/898583/0/vj?z=acm&dim=599027&kw=&click=&abr=$scriptiniframe"></script><noscript><a href="https://acm.nui.media/pipeline/898583/0/cc?z=acm"><img src="https://acm.nui.media/pipeline/898583/0/vc?z=acm&dim=599027&kw=&click=&abr=$imginiframe" width="160" height="600" alt="" border="0"></a></noscript>
