![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Richards B.L.
Publisher: Springer Publishing Company
ISSN: 0885-6125
Source: Machine Learning, Vol.19, Iss.2, 1995-05, pp. : 95-131
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
The Automated Refinement of a Requirements Domain Theory
Automated Software Engineering, Vol. 8, Iss. 2, 2001-04 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
On arithmetical first-order theories allowing encoding and decoding of lists
Theoretical Computer Science, Vol. 222, Iss. 1, 1999-07 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Refining Numerical Constants in First Order Logic Theories
By Botta M.
Machine Learning, Vol. 38, Iss. 1-2, 2000-01 ,pp. :