Larry Wos · 9 obras en el catálogoObrasAutomated reasoningAutomated reasoning and its applicationsAutomated reasoningThe automation of reasoning1996A fascinating country in the world of computing1999Collected Works of Larry Wos2000Automated Reasoning1987CCollected Works of Larry Wos Vol. 1Collected Works of Larry Wos Vol. 1FFascinating Country in the World of Computing, aFascinating Country in the World of Computing, a
