附注:
xi, 486 p. :
由:
Lecture notes in computer science ;
继承.
著者:
Stuckey, Peter J.
主要团体责任者:
Federated Logic Conference