附注:
xxviii, 1005 p. :
著者:
Van Harmelen, Frank.
著者:
Lifschitz, Vladimir.
著者:
Porter, Bruce,