On computational proofs of the existence
β
Mitsuhiro T. Nakao; Yoshitaka Watanabe
π
Article
π
1994
π
Elsevier Science
π
English
β 714 KB