Wayne Snyder

Born 1955-01-01

Identifiers

• Open LibraryOL769329A

Top Subjects

• Automatic theorem proving. (1)
• Biography / Autobiography (1)
• Biography & Autobiography (1)
• Business (1)
• Biography: general (1)
• Biography/Autobiography (1)
• Biography & Autobiography / Business (1)