iman poernomo
Adapting Proofs-as-Programs
Sofort lieferbarThis book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...
Adapting Proofs-as-Programs
Print on DemandThis monograph details several important advances in the direction of a practical proofs-as-progr...
Adapting Proofs-as-Programs
Besorgungstitel - wird vorgemerktThis book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...
- 1