Resolution methods for the decision problem / C. Fermüller ... [et al.]
| Resolution methods for the decision problem / C. Fermüller ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1993 |
| Descrizione fisica | VIII, 205 p. ; 24 cm. |
| Disciplina | 006.3 |
| Collana | Lecture notes in computer science, . Lecture notes in artificial intelligence |
| Soggetto topico | Intelligenza artificiale - Modelli matematici |
| ISBN |
0387567321
3540567321 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-RMS1590959 |
| Berlin [etc.], : Springer, 1993 | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Selecting models from data : artificial intelligence and statistics 4. / P. Cheeseman, R. W. Oldford, eds.
| Selecting models from data : artificial intelligence and statistics 4. / P. Cheeseman, R. W. Oldford, eds. |
| Pubbl/distr/stampa | New York [etc.] : Springer, c1994 |
| Descrizione fisica | X, 487 p. ; 24 cm. |
| Disciplina | 006.3015195 |
| Collana | Lecture notes in statistics |
| Soggetto topico |
Intelligenza artificiale - Modelli matematici
Intelligenza artificiale - Metodi statistici Statistica |
| ISBN | 0-387-94281-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000016304 |
| New York [etc.] : Springer, c1994 | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||