Back to Results
First PageMeta Content
Mathematics / Theoretical computer science / Mathematical analysis / Operator theory / Computability theory / Automated theorem proving / Logic programming / Type theory / Unification / operator / Spectral theory of ordinary differential equations


On Induction Principles C. Verhoef Programming Research Group University of Amsterdam KruislaanSJ Amsterdam
Add to Reading List

Document Date: 2005-08-09 06:28:59


Open Document

File Size: 496,52 KB

Share Result on Facebook