Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/fvps-preface⫷Vol-3377/fvps1⫸Vol-3377/mathui-preface
Adnan RashidMuhammad Raisuddin Ahmed

Formalization of Transform Methods in Higher-order Logic: A Survey (short paper)