Organizing Numerical Theories Using Axiomatic Type Classes

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.33, Iss.1, 2004-07, pp. : 29-49

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

Numerical Investigation of Breather-Type Solutions by Using REDUCE

By Serdyukova S. I.

Programming and Computer Software, Vol. 30, Iss. 2, 2004-03 ,pp. : 118-119

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Integration of design method software for concurrent engineering using axiomatic design

By Chen Ke-Zhang

Integrated Manufacturing Systems, Vol. 9, Iss. 4, 1998-04 ,pp. : 242-252

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Using computers in business writing classes

By Shelffo Andrew

Campus-Wide Information Systems, Vol. 13, Iss. 1, 1996-01 ,pp. : 23-27

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Refining Numerical Constants in First Order Logic Theories

By Botta M.

Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. : 109-131

Springer Publishing Company

Access to resources Recommend Favorite

TCSOM: Clustering Transactions Using Self-Organizing Map

By He Zengyou Xu Xiaofei Deng Shengchun

Neural Processing Letters, Vol. 22, Iss. 3, 2005-12 ,pp. : 249-262

Springer Publishing Company

Access to resources Recommend Favorite