|
|
Botta, Marco and Piola, Roberto (2000): Refining Numerical Constants in First Order Logic Theories
| Title: |
Refining Numerical Constants in First Order Logic Theories |
| Author(s): |
Botta, Marco and Piola, Roberto |
| Year: |
2000 |
| Journal: |
Machine Learning |
| Volume: |
38 |
| Pages: |
109-131 |
Concepts
|
|
