共 105 条
[41]
Harrison J., 2009, HDB PRACTICAL LOGIC
[42]
Harrison J, 2006, LECT NOTES ARTIF INT, V4130, P177
[43]
Heule Marijn, 2014, SOFTW TEST VERIF REL, V24, P8
[44]
Huet G., 1980, Formal Language Theory: Perspectives and Open Problems, P349
[45]
Huffman B, 2013, LECT NOTES COMPUT SC, V8307, P131, DOI 10.1007/978-3-319-03545-1_9
[46]
Hurd J., 2003, Report NASA/CP-2003-212448, P56
[47]
Jarvisalo Matti, 2012, Automated Reasoning. Proceedings 6th International Joint Conference, IJCAR 2012, P355, DOI 10.1007/978-3-642-31365-3_28
[49]
Jensen Alexander Birch, 2017, ARCH FORMAL PROOFS