Scheepen, F. van
VIAF ID: 43334772 ( Personal )
Permalink: http://viaf.org/viaf/43334772
Preferred Forms
- 100 1 _ ‡a Scheepen, F. van
- 100 1 _ ‡a Scheepen, F. van
- 100 1 _ ‡a Scheepen, F. van
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automation in language translation and theorem proving. Some applications of mathematical logic. |