Waldinger, Richard.
Waldinger, Richard, 19...-....
Waldinger, Richard (Richard J.)
VIAF ID: 50620302 ( Personal )
Permalink: http://viaf.org/viaf/50620302
Preferred Forms
-
-
-
- 100 1 _ ‡a Waldinger, Richard
-
-
- 100 1 _ ‡a Waldinger, Richard
-
- 100 1 _ ‡a Waldinger, Richard, ‡d 19...-....
-
Works
Title | Sources |
---|---|
Fundamentals of deductive program synthesis | |
The logical basis for computer programming | |
QA4 : a precedural calculus for intuitive reasoning | |
QU 4 | |
Studies in automatic programming logic |