Browse by Journal

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors/Editors | Item Type | No Grouping
Jump to: K | N
Number of items: 2.


Kammueller, Florian ORCID logoORCID: (2021) Explanation by automated reasoning using the Isabelle Infrastructure framework. arXiv . pp. 1-5. [Article] (doi:10.48550/arXiv.2112.14809)


Novak, Serguei ORCID logoORCID: (2020) On the T-test. arXiv . pp. 1-19. [Article]

This list was generated on Wed Sep 28 05:03:45 2022 BST.