Vol-1472⫷ Vol-1473 ⫸Vol-1474
urn:nbn:de:0074-1473-0


Vol-1473/paper1⫷Vol-1473/paper2⫸Vol-1473/paper3
Pieter E. VermaasPawel GarbaczMassimiliano CarraraStefano Borgo

A Formalization of Ashok Goel's SBF Concept of Function