Formal methods for mining structured objects
In the field of knowledge discovery, graphs of concepts are an expressive and versatile modeling technique providing ways to reason about information implicit in a set of data. Interesting examples of this can be found under the mathematical theory of formal concept analysis, dedicated to the constr...
Guardat en:
| Autor principal: | Garriga, Gemma |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edició: | 1st ed. 2013. |
| Col·lecció: | Studies in Computational Intelligence
475 |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal methods for mining structured objects, Gemma C Garriga, Berlin, HeidelbergSpringer, 2013, 1 vol.(X-108 p.), Studies in Computational Intelligence, 978-3-642-36680-2 • Formal Methods for Mining Structured Objects, Texte imprimé, 9783642430633 • Formal Methods for Mining Structured Objects, Texte imprimé, 9783642366826 • Formal methods for mining structured objects, Gemma C Garriga, Berlin, HeidelbergSpringer, 2013, 1 vol.(X-108 p.), Studies in Computational Intelligence, 978-3-642-36680-2 |
Ítems similars
-
Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers
(Livre numérique)
Springer Berlin Heidelberg, 2013 -
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
(Livre numérique)
Owe, Olaf, 19..- - Formal methods for components and objects : First international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures (Livre numérique)
- Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, november 4-7, 2003 : revised lectures (Livre numérique)
-
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
(Livre numérique)
Giachino, Elena

