Skip to content

An Application of Program Derivation Techniques to 18th-Century Mathematics.

A. Bijlsma

VenueBMPC
Year1998
ProceedingsMPC

Browse the full MPC paper archive.