Automated Reasoning

Autor: Wos, L.
Zdroj: The American Mathematical Monthly, 1985 Feb 01. 92(2), 85-92.
Databáze: JSTOR Journals