Create
Sign in | Register
English version
A-sourceA-target | ExampleInterpretationProof | AnswerQuestion|SoftwareRule|Project Resource

With hypothesis, look for proofs
为了将一个规律植入到软件中,首先这个规律需要被翻译成SIF模式。   |   Author: Fengbin Zhao

SIF is semi-structured illustrated function. 中文可翻译成半结构化图解式方程。这里的半结构化有两个含义:1、介于 well-structured 与 ill-structured 之间;2、承认这个规律的暂定性。


第1页
After logging in, you may submit proof in the form below