Discovery of invariants through automated theory formation

Author： Llano Maria Ireland Andrew Pease Alison

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.26, Iss.2, 2014-03, pp. : 203-249

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

Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction

International Journal of Web Services Research (IJWSR), Vol. 4, Iss. 3, 2007-07 ,pp. : 85-112

IGI Global_journal

Access to resources Recommend Favorite

A framework for a theory of automated learning

By Hausen-Tropper E.

Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. : 161-176

Elsevier

Access to resources Recommend Favorite

Automated Lead Discovery and Development in HTS Datasets

By Nicolaou Christos A.

Journal of the Association for Laboratory Automation, Vol. 6, Iss. 2, 2001-05 ,pp. : 60-62

Association for Laboratory Automation

Access to resources Recommend Favorite

Automated QSPR through Competitive Workflow

By Cartmell J. Enoch S. Krstajic D. Leahy D.

Journal of Computer-Aided Molecular Design, Vol. 19, Iss. 11, 2005-11 ,pp. : 821-833

Springer Publishing Company

Access to resources Recommend Favorite

The Automated Refinement of a Requirements Domain Theory

By McCluskey T.L.

Automated Software Engineering, Vol. 8, Iss. 2, 2001-04 ,pp. : 195-218

Springer Publishing Company

Access to resources Recommend Favorite