• 题名: COLLECTED WORKS OF LARRY WOS, THE (IN 2 VOLS), VOL I: EXPLORING THE POWER OF AUTOMATED REASONING; VOL II: APPLYING AUTOMATED REASONING TO PUZZLES, PROBLEMS, AND OPEN QUESTIONS
    作者: WOS L
    索书号: http://www.worldscientific.com/worldscibooks/10.1142/4164#t=toc
在架