"42" Result
Sort By:
Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria for Relations to Have Kernels --…
Extended nature -- Mind the step : scala universalis -- The evaluation of human behaviour -- The evaluation of non-human natural behaviour -- The evaluation of artificial intelligence -- The boundaries against a unified evaluation -- Intelligence and algorithmic information theo…
