Results 261 to 267 of about 566,370 (267)
Some of the next articles are maybe not open access.
Comparative judgement, proof summaries and proof comprehension
Educational Studies in Mathematics, 2020Ben Davies, Lara Alcock, Ian Jones
exaly
The R.E.N.A.L. nephrometry scoring from CT reports with ChatGPT: example with proofs
Japanese Journal of RadiologyAyşenur Topçu Varlık +2 more
openaire +2 more sources
Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method
IEICE Transactions on Information and Systems, 2009exaly
Proof of burden: Scores of contaminants course through people's veins
Science News, 2003openaire +1 more source
Validation of UML Class Diagram and OCL pre-and post-conditions using OTS/CafeOBJ proof scores
2020exaly
Reply to "The R.E.N.A.L. nephrometry scoring from CT reports with ChatGPT: example with proofs"
Japanese Journal of RadiologyAyaka Harigai +2 more
openaire +2 more sources

