| 1997 |
|---|
| 4 | | L. Winder,
M. Lefley,
B. Smith:
A key for freshwater invertebrates using fuzzy logic.
Computer Applications in the Biosciences 13(2): 169-174 (1997) |
| 1984 |
|---|
| 3 | | Larry Wos,
Robert Veroff,
B. Smith,
William McCune:
The Linked Inference Principle, II: The User's Viewpoint.
CADE 1984: 316-332 |
| 2 | | 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) |
| 1970 |
|---|
| 1 | | B. Smith:
Developments in SPECOL - A Retrieval Language for the Non-Programmer.
Comput. J. 13(1): 10-13 (1970) |
