Moore, J. Strother, 1947-
Moore, J. Strother
J Strother Moore informaticien américain
J Strother Moore American computer scientist
VIAF ID: 47656419 ( Personal )
Permalink: http://viaf.org/viaf/47656419
Preferred Forms
- 100 0 _ ‡a J Strother Moore ‡c American computer scientist
- 100 0 _ ‡a J Strother Moore ‡c informaticien américain
-
- 100 1 _ ‡a Moore, J Strother ‡d 1947-
- 100 1 0 ‡a Moore, J Strother, ‡d 1947-
-
- 100 1 _ ‡a Moore, J Strother, ‡d 1947-....
- 100 1 _ ‡a Moore, J. Strother
-
-
-
-
-
-
4xx's: Alternate Name Forms (22)
Works
Title | Sources |
---|---|
A computational logic handbook | |
Computer-aided reasoning : an approach | |
The Correctness problem in computer science | |
The INTERLISP virtual machine specification | |
Introducing iteration into the pure LISP theorem prover | |
The little prover | |
Piton : a mechanically verified assembly-level language | |
A verification condition generator for fortran [microvorm] |