DISTILL: Induction de distance en logique du premier ordre
Abstract
Vide
Marc Bonnet : Connect in order to contact the contributor
https://hal.science/hal-00117890
Submitted on : Sunday, December 3, 2006-6:50:25 PM
Last modification on : Tuesday, August 27, 2024-12:40:10 PM