Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor

Author： Whittle Jon Bundy Alan Boulton Richard

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.13, Iss.3-5, 2002-07, pp. : 403-421

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

ABI: analogy-based indexing for content image retrieval

By Cibelli M. Nappi M. Tucci M.

Image and Vision Computing, Vol. 22, Iss. 1, 2004-01 ,pp. : 23-34

Elsevier

Access to resources Recommend Favorite

Accuracy Comparison of Analogy‐Based Software Development Effort Estimation Techniques

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, Vol. 31, Iss. 2, 2016-02 ,pp. : 128-152

John Wiley & Sons Inc

Access to resources Recommend Favorite

A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design

International Journal of Embedded and Real-Time Communication Systems (IJERTCS), Vol. 6, Iss. 1, 2015-01 ,pp. : 101-131

IGI Global_journal

Access to resources Recommend Favorite

Synthesis of UNIX Programs Using Derivational Analogy

By Bhansali S.

Machine Learning, Vol. 10, Iss. 1, 1993-01 ,pp. : 7-55

Springer Publishing Company

Access to resources Recommend Favorite

Framework for model-based design of multi-agent systems

By Jr. Frantisek Zboril

International Journal of Autonomic Computing, Vol. 1, Iss. 2, 2009-04 ,pp. : 140-162

Inderscience Publishers

Access to resources Recommend Favorite