Collected Works of Larry Wosby Larry WosArtificial intelligenceAutomatic theorem provingReasoningPuzzlesWriting a summary for young readers…For young readersBook data: Open Library