共 50 条
- [31] Wittgenstein and the link between the meaning of a mathematical statement and its proof PHILOSOPHIQUES, 2012, 39 (01): : 101 - 124
- [38] The relationship between logic programs and specifications - The subset example revisited J Logic Program, 3 (XII-257):
- [40] The relationship between logic programs and specifications - The subset example revisited JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (03): : 239 - 257