Saitta L., Zucker Jean-Daniel. (2007). Abstraction and complexity measures. In :
Miguel I. (ed.), Ruml W. (ed.). The 7th international symposium on abstraction, reformulation and approximation. Berlin : Springer, p. 375-390. (Lecture Notes in Computer Science ; 4612). International Symposium on Abstraction Reformulation and Approximation, 7., Whistler (CAN), 2007/07/18-21. ISBN 978-3-540-73579-3. ISSN 0302-9743.
Titre du document
Abstraction and complexity measures
Année de publication
2007
Type de document
Partie d'ouvrage
Auteurs
Saitta L., Zucker Jean-Daniel
In
Miguel I. (ed.), Ruml W. (ed.), The 7th international symposium on abstraction, reformulation and approximation
Source
Berlin : Springer, 2007,
p. 375-390 (Lecture Notes in Computer Science ; 4612). ISBN 978-3-540-73579-3 ISSN 0302-9743
Colloque
International Symposium on Abstraction Reformulation and Approximation, 7., Whistler (CAN), 2007/07/18-21
