دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
by Klaus Aehlig
|
عنوان فارسی: اثبات نظریه در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 Dagstuhl قلعه، آلمان، 07-12 اکتبر، 2001 مقالات |