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.
Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning [[electronic resource] ] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNISA-996205183803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
| Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 211 p. 64 illus.) |
| Disciplina | 006.332 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer science—Mathematics Artificial Intelligence Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. Online-Publikation |
| ISBN | 3-319-04534-2 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks. |
| Record Nr. | UNINA-9910484015803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Pairing-Based Cryptography -- Pairing 2013 [[electronic resource] ] : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / / edited by Zhenfu Cao, Fangguo Zhang
| Pairing-Based Cryptography -- Pairing 2013 [[electronic resource] ] : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / / edited by Zhenfu Cao, Fangguo Zhang |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 251 p. 10 illus.) : online resource |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Coding theory Information theory Computers Cryptology Systems and Data Security Coding and Information Theory Theory of Computation |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. |
| ISBN | 3-319-04873-2 |
| Classificazione |
DAT 465f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996205183203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Pairing-Based Cryptography -- Pairing 2013 : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / / edited by Zhenfu Cao, Fangguo Zhang
| Pairing-Based Cryptography -- Pairing 2013 : 6th International Conference, Beijing, China, November 22-24, 2013, Revised Selected Papers / / edited by Zhenfu Cao, Fangguo Zhang |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 251 p. 10 illus.) : online resource |
| Disciplina | 005.82 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data encryption (Computer science)
Computer security Coding theory Information theory Computers Cryptology Systems and Data Security Coding and Information Theory Theory of Computation |
| Soggetto genere / forma |
Kongress2013.Peking
Conference proceedings. |
| ISBN | 3-319-04873-2 |
| Classificazione |
DAT 465f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910484927003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theory and Applications of Formal Argumentation [[electronic resource] ] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren
| Theory and Applications of Formal Argumentation [[electronic resource] ] : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 209 p. 43 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Artificial Intelligence Theory of Computation |
| Soggetto genere / forma |
Kongress2013.Peking
Conference papers and proceedings. |
| ISBN | 3-642-54373-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract argumentation frameworks -- Social abstract argumentation with votes on attacks.- A normal form of argumentation frameworks -- Assumption-based argumentation -- Argument schemes for normative practical reasoning. |
| Record Nr. | UNISA-996205172203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren
| Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers / / edited by Elizabeth Black, Sanjay Modgil, Nir Oren |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 209 p. 43 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Artificial Intelligence Theory of Computation |
| Soggetto genere / forma |
Kongress2013.Peking
Conference papers and proceedings. |
| ISBN | 3-642-54373-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstract argumentation frameworks -- Social abstract argumentation with votes on attacks.- A normal form of argumentation frameworks -- Assumption-based argumentation -- Argument schemes for normative practical reasoning. |
| Record Nr. | UNINA-9910484963703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
