-
1
المؤلفون: Erik Barendsen, Herman Geuvers
المساهمون: Mathematics and Computer Science
المصدر: Mathematical Structures in Computer Science, 9(4), 335-359. Cambridge University Press
مصطلحات موضوعية: Predicate logic, Generality, Interpretation (logic), Computer science, business.industry, Dependent type, Differentiation rules, Computer Science Applications, Logical framework, Mathematics (miscellaneous), Logical conjunction, Completeness (logic), Calculus, Artificial intelligence, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c81010aff0967a72c4270e9d75c63a6
https://doi.org/10.1017/s0960129599002856