S. Winker (winker-s)

Beiträge zu Philosophie.ch

Bibliography

Wos, Larry and Winker, S. 2002. “The Automation of Sound Reasoning and Successful Proof Finding.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 709–723. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Wos, Larry, Winker, S., Smith, Barry F., Veroff, Robert and Henschen, Lawrence J. 1984. “A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.” Artificial Intelligence 22(3): 303–356.