共 50 条
- [22] RAMANUJAN CONGRUENCES FOR P-K(N) MODULO POWERS OF 17 CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1991, 43 (03): : 506 - 525
- [27] Answer Set Programming Modulo Theories APPLIED INFORMATICS AND COMMUNICATION, PT 5, 2011, 228 : 655 - +