المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

المصدر: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2019 34th Annual ACM/IEEE Symposium on. :1-13 Jun, 2019

Relation: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

المؤلفون: Ackerman, Nathanael L., Avigad, Jeremy, Freer, Cameron E., Roy, Daniel M., Rute, Jason M.

مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, Mathematics - Combinatorics, Mathematics - Probability

URL الوصول: http://arxiv.org/abs/1801.10387

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.