933 resultados para Automatic theorem proving
Resumo:
On February 18, 2011, Caterpillar Tractor Company, Inc. (CAT) was notified by the Woodford County Emergency Management Agency that residents along Ten Mile Creek had noticed a fuel odor. CAT personnel checked outfalls on the bluff below and the Proving Grounds fuel station and discovered some diesel fuel seeping into a ravine which continues to Ten Mile Creek. An initial investigation around the fueling facility revealed a diesel leak in an underground line that feeds the fuel dispensers. Diesel fuel is used on the Proving Grounds property to power the earth-moving equipment being tested there. At the time the leak was found, CAT began excavating to remove the source and to find the extend of the leak. The fuel had followed a down-hill slope to a ravine on CAT property, ran down the ravine and impacted Ten-Mile Creek (about one-half mile away) with a visible sheen of diesel fuel on top of the water.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Preface signed: William Chauvenet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Half title: Essay on miracles.
Resumo:
Caption title.
Resumo:
Added t.p., engr.: An original history of ancient America. Founded upon the ruins of antiquity ...
Resumo:
Attributed to Updike in William Cushing's Initials and pseudonyms ..., Waltham, Mass., 1964, v.1, p.164.
Resumo:
Reprint. Originally published: New York : G.P. Putnam's Sons, 1917.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
"Supplementary reading": p. 34.