المؤلفون: Bauer, Andrej, Komel, Anja Petković

المصدر: Logical Methods in Computer Science, Volume 18, Issue 1 (January 19, 2022) lmcs:7268

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B38 (Primary), 68Q42 (Secondary), F.4.1

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

المؤلفون: Andrej Bauer, Anja Petković Komel

المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - logic, 03b38 (primary), 68q42 (secondary), f.4.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/7268/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/3ef4283d74d345c5abd135862b0d338f

مصطلحات الفهرس: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B38 (Primary), 68Q42 (Secondary), F.4.1, text

URL: http://arxiv.org/abs/2103.07397