Wallen, Lincoln A.
Wallen, L.A.
Lincoln Wallen British-American computer scientist and CTO
VIAF ID: 38472823 ( Personal )
Permalink: http://viaf.org/viaf/38472823
Preferred Forms
- 100 0 _ ‡a Lincoln Wallen ‡c British-American computer scientist and CTO
- 100 1 _ ‡a Wallen, L.A.
-
-
-
- 100 1 0 ‡a Wallen, Lincoln A.
-
-
-
- 100 1 _ ‡a Wallen, Lincoln A.
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics |