Automated Reasoning - Musharof Chy

Musharof Chy

2579 ビュー

11 ヶ月前に作成

Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by ...