การอนุมานอัตโนมัติ

Knuth ได้เผยแพร่บทความต้นฉบับชื่อ “Claude’s Cycles” บนเว็บไซต์ของมหาวิทยาลัยสแตนฟอร์ด โดยเปิดบทความด้วยคำว่า “Shock! Shock!” เพื่อแสดงความตะลึงของเขา …