Mythical systems: mathematic and logical theory

E-ISSN： 1563-5104|44|1|76-97

ISSN： 0308-1079

Source： International Journal of General Systems, Vol.44, Iss.1, 2015-01, pp. : 76-97

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

Logical systems for structured specifications

By Borzyszkowski T.

Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. : 197-245

Elsevier

Access to resources Recommend Favorite

A practical measure of the information in a logical theory

By Aisbett Janet Gibbon Greg

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 11, Iss. 2, 1999-04 ,pp. : 201-217

Taylor & Francis Ltd

Access to resources Recommend Favorite

TOWARDS A LOGICAL RECONSTRUCTION OF INFORMATION RETRIEVAL THEORY

By Sebastiani Fabrizio

Cybernetics and Systems, Vol. 30, Iss. 5, 1999-07 ,pp. : 411-428

Taylor & Francis Ltd

Access to resources Recommend Favorite

ELAN - A logical framework based on computational systems

By Borovansky P. Kirchner C. Kirchner H. Moreau P.-E. Vittek M.

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-16

Elsevier

Access to resources Recommend Favorite

Development of logical and technical architectures for automotive systems

By Beeck Michael

Software and Systems Modeling (SoSyM), Vol. 6, Iss. 2, 2007-06 ,pp. : 205-219

Springer Publishing Company

Access to resources Recommend Favorite