共 28 条
[1]
BACCHUS F, 1988, 4TH P WORKSH UNC ART, P15
[2]
Bacchus F., 1990, REPRESENTING REASONI
[4]
CARNAP R, 1950, LOGICAL F PROBABILIT
[5]
Chang C. C., 1990, MODEL THEORY, V73
[6]
Dreben B., 1979, DECISION PROBLEM SOL
[7]
Enderton H. B., 2001, MATH INTRO LOGIC, V2nd ed
[9]
FELDMAN YA, 1984, J COMPUT SYST SCI, V28, P193, DOI 10.1016/0022-0000(84)90065-5
[10]
FELDMAN YA, 1984, THESIS WEIZMANN I SC