A computational logic handbook
Robert S Boyer,J Strother Moore
A computational logic handbook - - Academic Press 1988 - 408
0-12-122952-1
51
A computational logic handbook - - Academic Press 1988 - 408
0-12-122952-1
51