共 107 条
[61]
Kotowicz J., 1991, J FORMALIZED MATH, V2, P71
[62]
Kotowicz J., 1990, J FORMALIZED MATH, V1, P273
[63]
Kotowicz J., 1990, FORMALIZED MATH, V1, P269
[64]
Kotowicz J., 1991, J FORMALIZED MATH, V2, P29
[65]
Kotowicz J., 1991, FORMALIZED MATH, V2, P17
[67]
Lester D.R., 2007, 2 WORKSHOP AUTOMATED, P11
[68]
Lester DR, 2008, LECT NOTES COMPUT SC, V5170, P215, DOI 10.1007/978-3-540-71067-7_19
[69]
Makarov E, 2013, LECT NOTES COMPUT SC, V7998, P463, DOI 10.1007/978-3-642-39634-2_34