Brand, Daniel, 1949-
Daniel Brand Ph.D. University of Toronto 1976
VIAF ID: 104345639 ( Personal )
Permalink: http://viaf.org/viaf/104345639
Preferred Forms
Works
Title | Sources |
---|---|
Proving programs incorrect | |
Resolution and equality in theorem proving. | |
Thesis. Vita. Born in Czechoslovakia. Date. |