Larry, Ross Overbeek, Ewing Lusk, Jim Boyle Wos · R. Overbeek · Ross A Overbeek
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings | 978-3-540-19343-2 | 1988 | Ewing Lusk | |
| 9th International Conference on Practical Applications of Computational Biology and Bioinformatics | 978-3-319-19775-3 | 2015 | Miguel P. Rocha · Florentino Fdez-Riverola · Juan F. De Paz | |
| American National Standard Cobol: A Pragmatic Approach | 978-0-07-057469-4 | 1975 | Wilson E. Singletary | |
| Automated Reasoning: Introduction and Applications | 978-0-13-054446-9 | 1984 | Larry Wos · Ewing Lusk · Jim Boyle |
McGraw-Hill · Prentice Hall · Springer