Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Journal of automated reasoning
| Journal of automated reasoning |
| Pubbl/distr/stampa | [Dordrecht], : Kluwer Academic Publishers |
| 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 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207918603316 |
| [Dordrecht], : Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Journal of automated reasoning
| Journal of automated reasoning |
| Pubbl/distr/stampa | Kluwer Academic Publishers |
| Descrizione fisica | 1 online resource |
| Disciplina | 511.3 |
| Soggetto topico |
Automatic theorem proving
Artificial intelligence Logic programming Théorèmes - Démonstration automatique Intelligence artificielle Programmation logique Demostració automàtica de teoremes Intel·ligència artificial Lingüística Informàtica |
| Soggetto genere / forma |
Periodicals.
Revistes electròniques. |
| ISSN | 1573-0670 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142430903321 |
| Kluwer Academic Publishers | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of functional and logic programming
| Journal of functional and logic programming |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, ©1995- |
| Disciplina | 005 |
| Soggetto topico |
Functional programming (Computer science)
Logic programming Programmation fonctionnelle Programmation logique |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1544-8878 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141026603321 |
| Cambridge, MA, : MIT Press, ©1995- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of logic and algebraic programming
| The journal of logic and algebraic programming |
| Pubbl/distr/stampa | [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 |
| Descrizione fisica | 1 online resource |
| Soggetto topico |
Logic programming
Computer programming Logic programming - Periodicals Programmation logique - Périodiques Programmation (Informatique) - Périodiques Programmation logique Programmation (Informatique) Wiskundige logica Software |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-5940 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | J. logic and algebraic programming |
| Record Nr. | UNINA-9910333149703321 |
| [Amsterdam] ; ; [New York] : , : Elsevier Science, , ©2001-©2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Journal of logic and computation
| Journal of logic and computation |
| Pubbl/distr/stampa | [Oxford, England], : Oxford University Press |
| Disciplina | 004.015113 |
| Soggetto topico |
Logic programming
Logic, Symbolic and mathematical Computational complexity Programmation logique Logique symbolique et mathématique Complexité de calcul (Informatique) Logica Computers Digital Lifestyle |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1465-363X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910142414103321 |
| [Oxford, England], : Oxford University Press | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The journal of logic programming
| The journal of logic programming |
| Pubbl/distr/stampa | New York, : Elsevier Science |
| Soggetto topico |
Logic programming
Computer programming Programmation logique - Périodiques Programmation (Informatique) - Périodiques Programmation logique Programmation (Informatique) |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1873-5789 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910145191503321 |
| New York, : Elsevier Science | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
