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.
Rules and Reasoning [[electronic resource] ] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
| Rules and Reasoning [[electronic resource] ] : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 328 p. 80 illus.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer logic Application software Programming Techniques Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99906-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . |
| Record Nr. | UNISA-996466358503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
| Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings / / edited by Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XXIII, 328 p. 80 illus.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Programming languages (Electronic computers) Artificial intelligence Mathematical logic Computer logic Application software Programming Techniques Programming Languages, Compilers, Interpreters Artificial Intelligence Mathematical Logic and Formal Languages Logics and Meanings of Programs Computer Appl. in Administrative Data Processing |
| ISBN | 3-319-99906-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . |
| Record Nr. | UNINA-9910349412003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||