Basin rainfall and snowmelt computation : Hydrologic Engineering Center computer program 23-J2-L226.

At head of cover title: Generalized computer program.

Tables for the computation of railway and other earthwork,

Mode of access: Internet.

Radiosonde observation computation tables.

Mode of access: Internet.

Statement of the computation and apportionment of the state levy of taxes for ... /

Description based on: 1890.

State Levy of Taxes. Computation and Apportionment

Title Varies: 1898-1905, Statement of the Computation and Apportionment of the State Levy of Taxes; ?-1897, Statement of the Expenses To Which the State of Oregon Will Be Subjected for the Year 18?-1897 and of the Items of Deficiencies More

Punched card methods in scientific computation,

Mode of access: Internet.

Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.

A comparison of astronomical and ballistic traditions in orbit computation /

"Air research and Development Command, Air Force Office of Scientific Research, Mechanics Division. Contract no. AF 49(638) - 498."

Unit graph and hydrograph computation : Hydrologic Engineering Center computer program 23-J2-L228.

At head of cover title : Generalized computer program.