Détermination et formalisation [electronic resource] / edited by Xavier Blanco, Pierre-André Buvet, Zoé Gavriilidou.
Material type:
- 415 21
- P299.D48 D48 2001eb
Papers presented at a conference held Feb. 24-25, 2000, Barcelona, Spain.
Includes bibliographical references and index.
Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.
There are no comments on this title.