1990 |
4 | | Larry Wos,
S. 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 |
3 | | S. Winker,
Ross A. Overbeek,
Carl R. Woese,
Gary J. Olsen,
N. Pfluger:
Structure detection through automated covariance search.
Computer Applications in the Biosciences 6(4): 365-371 (1990) |
2 | | S. Winker:
Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean.
J. Autom. Reasoning 6(4): 465-489 (1990) |
1984 |
1 | | Larry Wos,
S. Winker,
B. Smith,
Robert Veroff,
Lawrence J. Henschen:
A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains.
Artif. Intell. 22(3): 303-356 (1984) |