Kazakov, Y. (2005). A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Kazakov, Y. A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik, 2005.
MLA -ийн эшлэл (9 дэх хэвлэлт)Kazakov, Y. A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures. Max−Planck−Institut für Informatik, 2005.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.