"A Constraint-based Induction Algorithm in FOL."

Michèle Sebag (1994)

Details and statistics

DOI: 10.1016/B978-1-55860-335-6.50041-6

access: closed

type: Conference or Workshop Paper

metadata version: 2019-06-24