-
1دورية أكاديمية
المؤلفون: Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky
المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 2 (2019)
مصطلحات موضوعية: mathematics - logic, computer science - logic in computer science, primary 03d65, secondary 03c57, 03d30, 03e15, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2
المؤلفون: Mary Leah Karker, Nathanael L. Ackerman
المصدر: Quaestiones Mathematicae. 45:443-484
مصطلحات موضوعية: Pure mathematics, Mathematics (miscellaneous), Potential isomorphism, Approach space, Mathematics::Category Theory, Quantale, Order (group theory), Injective function, Mathematics
-
3
المؤلفون: Nathanael L. Ackerman
المصدر: Logica Universalis. 14:421-459
مصطلحات موضوعية: Discrete mathematics, Logic, Computer science, Applied Mathematics, 010102 general mathematics, Admissible set, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, Uniform continuity, Metric space, Morphism, Encoding (memory), 060302 philosophy, Metric (mathematics), Set theory, 0101 mathematics, Infinitary logic
-
4
المؤلفون: Nathanael L. Ackerman, Robert S. Lubarsky, Cameron E. Freer
المصدر: Journal of Logic and Computation. 30:27-60
مصطلحات موضوعية: Theoretical computer science, Logic, Computer science, Computability, Computation, 010102 general mathematics, 0102 computer and information sciences, Turing computability, 01 natural sciences, Oracle, Theoretical Computer Science, Arts and Humanities (miscellaneous), 010201 computation theory & mathematics, Hardware and Architecture, Convergence (routing), 0101 mathematics, Divergence (statistics), Software
-
5
المؤلفون: Cameron E. Freer, Daniel M. Roy, Nathanael L. Ackerman
المصدر: Journal of the ACM. 66:1-40
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computer science, Real computation, G.3, Inference, Machine Learning (stat.ML), Mathematics - Statistics Theory, Statistics Theory (math.ST), 03D78, 62F15, 68T37, 60B05, 03F60, 65G50, 60A05, 60A10, 01 natural sciences, 050105 experimental psychology, Statistics - Machine Learning, Artificial Intelligence, Joint probability distribution, FOS: Mathematics, 0501 psychology and cognitive sciences, 0101 mathematics, Probability (math.PR), 010102 general mathematics, 05 social sciences, Probabilistic logic, Conditional probability, Mathematics - Logic, Conditional probability distribution, Logic in Computer Science (cs.LO), Bayesian statistics, Hardware and Architecture, Control and Systems Engineering, F.1.2, Logic (math.LO), Random variable, Mathematics - Probability, Software, Information Systems
-
6
المؤلفون: Nathanael L. Ackerman, Will Brian
المصدر: Mathematical Logic Quarterly. 65:46-56
مصطلحات موضوعية: Combinatorics, Rado graph, Logic, Mathematics
-
7
المؤلفون: Rehana Patel, Cameron E. Freer, Nathanael L. Ackerman
مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Rank (linear algebra), Logic, Computability, Closure (topology), Structure (category theory), 0102 computer and information sciences, Mathematics - Logic, 01 natural sciences, Algebraic closure, Theoretical Computer Science, Logic in Computer Science (cs.LO), Quantifier (logic), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Arts and Humanities (miscellaneous), 010201 computation theory & mathematics, Hardware and Architecture, FOS: Mathematics, Algebraic number, Logic (math.LO), Software, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70400a7dc74f1d05b7af3de2f5c98794
http://arxiv.org/abs/2101.11849 -
8
المؤلفون: Cameron E. Freer, Nathanael L. Ackerman, Rehana Patel
المصدر: Logical Foundations of Computer Science ISBN: 9783030367541
LFCSمصطلحات موضوعية: Singleton, Computability, 010102 general mathematics, Structure (category theory), Closure (topology), 0102 computer and information sciences, 01 natural sciences, Algebraic closure, Combinatorics, Computable model theory, 010201 computation theory & mathematics, Boolean combination, 0101 mathematics, Algebraic number, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9b0afd5545086c764fd0efc7cf34fe70
https://doi.org/10.1007/978-3-030-36755-8_1 -
9
المصدر: LICS
مصطلحات موضوعية: Random graph, Representation theorem, Computability, 010102 general mathematics, Context (language use), 0102 computer and information sciences, 01 natural sciences, Combinatorics, Kernel (algebra), Conditional independence, 010201 computation theory & mathematics, Adjacency matrix, 0101 mathematics, Random variable, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::13e3e54e6dd62cd5eace6c20d7fae51c
https://doi.org/10.1109/lics.2019.8785762 -
10
المؤلفون: Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel
المصدر: Proceedings of the 14th and 15th Asian Logic Conferences.
مصطلحات موضوعية: Probability (math.PR), Mathematics - Logic, Function (mathematics), Arity, Measure (mathematics), Combinatorics, Binary entropy function, Entropy (classical thermodynamics), FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), Invariant measure, Invariant (mathematics), Logic (math.LO), Mathematics - Probability, Probability measure, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dd6e94262bffff18e698fb909e8d5932
https://doi.org/10.1142/9789813237551_0001