Refining Numerical Constants in First Order Logic Theories

Articolo

Data di Pubblicazione:

2000

Tipologia CRIS:

03A-Articolo su Rivista

Elenco autori:

M. BOTTA; PIOLA R.

Autori di Ateneo:

BOTTA Marco

Link alla scheda completa:

https://iris.unito.it/handle/2318/3258

Pubblicato in:

MACHINE LEARNING

Journal