Formal logics of discovery and hypothesis formation by machine

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.292, Iss.2, 2003-01, pp. : 345-357

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

Abstract

Related content

Substantial and formal deductions in logics with vector semantics

By Arshinskii L.

Automation and Remote Control, Vol. 68, Iss. 1, 2007-01 ,pp. : 139-148

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

A formal analysis of bluetooth device discovery

By Duflot Marie Kwiatkowska Marta Norman Gethin Parker David

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 6, 2006-11 ,pp. : 621-632

Springer Publishing Company

Access to resources Recommend Favorite

Editorial: Machine Learning and Discovery

By Langley P.

Machine Learning, Vol. 01, Iss. 4, 1986-01 ,pp. : 363-366

Springer Publishing Company

Access to resources Recommend Favorite

Machine Discovery of Protein Motifs

By Conklin D.

Machine Learning, Vol. 21, Iss. 1-2, 1995-10 ,pp. : 125-150

Springer Publishing Company

Access to resources Recommend Favorite

The Formal Design Model of an Automatic Teller Machine (ATM)

International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 2, Iss. 1, 2010-01 ,pp. : 102-131

IGI Global_journal

Access to resources Recommend Favorite