Vai al contenuto principale della pagina
Titolo: | Journal of automated reasoning |
Pubblicazione: | [Dordrecht], : Kluwer Academic Publishers |
[Netherlands], : Springer Netherlands | |
Disciplina: | 511.3 |
Soggetto topico: | Automatic theorem proving |
Artificial intelligence | |
Logic programming | |
Théorèmes - Démonstration automatique | |
Intelligence artificielle | |
Programmation logique | |
ISSN: | 1573-0670 |
Note generali: | Refereed/Peer-reviewed |
Titolo autorizzato: | Journal of automated reasoning |
Formato: | Materiale a stampa |
Livello bibliografico | Periodico |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910142430903321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |