Pfenning, D.B.
53  Ergebnisse:
Personensuche X
?
4

Atmospheric release tests of monomethylamine:

Lantzy, R.J. ; Myers, R.D. ; Pfenning, D.B..
Journal of Loss Prevention in the Process Industries.  3 (1990)  1 - p. 77-81 , 1990
 
?
5

Comparison of thorney island data with heavy gas dispersion..:

Cornwell, J.B. ; Pfenning, D.B.
Journal of Hazardous Materials.  16 (1987)  - p. 315-337 , 1987
 
?
7

Computerized processing of thorney island trial data for co..:

Pfenning, D.B. ; Cornwell, J.B.
Journal of Hazardous Materials.  11 (1985)  - p. 347-368 , 1985
 
?
10

ETPS: A System to Help Students Write Formal Proofs:

Andrews, Peter B. ; Brown, Chad E. ; Pfenning, Frank...
Journal of Automated Reasoning.  32 (2004)  1 - p. 75-92 , 2004
 
?
12

TPS: A theorem-proving system for classical type theory:

Andrews, Peter B. ; Bishop, Matthew ; Issar, Sunil...
Journal of Automated Reasoning.  16 (1996)  3 - p. 321-353 , 1996
 
?
13

Kobalt und Nickel:

Lurje, J. J. ; Troitzkaja, M. J. ; Evans, B. S....
Fresenius' Zeitschrift für analytische Chemie; Zeitschrift für analytische Chemie.  112 (1938)  11-12 - p. 425-432 , 1938
 
1-15