(2010). Tests and proofs: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.).
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; Proceedings / Gordon Fraser, Angelo Gargantini (eds.). 2010.
MLA -ийн эшлэл (9 дэх хэвлэлт)Tests and Proofs: 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; Proceedings / Gordon Fraser, Angelo Gargantini (eds.). 2010.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.