New Developments in Proofs and Computations [chapter]

Helmut Schwichtenberg
2008 New Computational Paradigms  
doi:10.1007/978-0-387-68546-5_14 fatcat:4z2kntxwqfbyhbiowa2zj5coey