Automating inductive proofs using t

Automating inductive proofs using theory exploration

ผลลัพธ์ (ไทย) 1:

อัตโนมัติใช้สำรวจทฤษฎีพิสูจน์อุปนัย

ผลลัพธ์ (ไทย) 2:

โดยอัตโนมัติพิสูจน์อุปนัยโดยใช้ทฤษฎีการสำรวจ

ผลลัพธ์ (ไทย) 3:

การพิสูจน์โดยใช้ทฤษฎีอุปนัยสำรวจอัตโนมัติ