共 50 条
[41]
Essay on the principles of logic.
[J].
DEUTSCHE ZEITSCHRIFT FUR PHILOSOPHIE,
2007, 55 (01)
:145-149
[42]
Combinatory Logic Synthesizer
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I,
2014, 8802
:26-40