Spécification, preuve et extraction automatique des programmes en cop cas : l'algorithme HEB + réduction
No Thumbnail Available
Date
2003
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
60 p. , ill. , 30 cm
Keywords
Commande automatique, Commande automatique, Exploration de données, Programmes en cop