科图分类法:
|
TP311.13 版次: |
中图分类法:
|
TP311.13 版次: |
著者:
|
Garriga, Gemma C. |
题名:
|
Formal methods for mining structured objects / / , |
出版发行:
|
出版地: Berlin ; 出版社: Springer, 出版日期: c2013. |
载体形态:
|
x, 108 p. : ill. ; 24 cm. |
主题词:
|
Data mining. |
主题词:
|
Lattice theory. |
主题词:
|
Formal methods (Computer science) |
索书号:
|
1 |