CyNTHIA

swMATH19663MaRDI QIDQ31488FDOQ31488

Author name not available (Why is that?)

Official website: http://link.springer.com/article/10.1007%2Fs001650200019

Cited In (1)

• Proofs-as-programs as a framework for the design of an analogy-based ML editor

This page was built for software: CyNTHIA