(1997). Automated reasoning and its applications: Essays in honor of Larry Wos / edited by Robert Veroff, with Gail W. Pieper.
Chicago-referens (17:e uppl.)Automated Reasoning and Its Applications: Essays in Honor of Larry Wos / Edited by Robert Veroff, with Gail W. Pieper. 1997.
MLA-referens (9:e uppl.)Automated Reasoning and Its Applications: Essays in Honor of Larry Wos / Edited by Robert Veroff, with Gail W. Pieper. 1997.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.