Archer, Myla
VIAF ID: 58282256 ( Personal )
Permalink: http://viaf.org/viaf/58282256
Preferred Forms
-
- 100 1 _ ‡a Archer, Myla
- 100 1 0 ‡a Archer, Myla
Works
Title | Sources |
---|---|
Inter'l. Work. on the HOL Theorem Proving System and its Applications (1991 : Davis, Calif.). Proceedings of the 1991 ... c1992: |