Stop the war!
Остановите войну!
for scientists:
default search action
"Automated Reasoning Contributed to Mathematics and Logic."
Larry Wos et al. (1990)
- Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler:
Automated Reasoning Contributed to Mathematics and Logic. CADE 1990: 485-499
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.