Vers une formalisation de la déduction partielle de la CLP
No Thumbnail Available
Date
1998
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
87 p. : fig. ; 29 cm.(+ microfiche).
Keywords
Systémes informatiques, Programmation logique, Optimisation mathématique