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.

K

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

N

Novak, Serguei ORCID logoORCID: https://orcid.org/0000-0001-7929-7641 (2020) On the T-test. arXiv . pp. 1-19. [Article]

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