Article navigation

The systematic determination and verification of formulas is considered in this paper. The approach is independent of theoretical considerations in a particular discipline, and the techniques are amenable to man—machine interaction.

This content is only available via PDF.
You do not currently have access to this content.
Don't already have an account? Register

Purchased this content as a guest? Enter your email address to restore access.

Pay-Per-View Access
$41.00
Rental

or Create an Account

Close subscription notice
Close access options