The following pages link to Yves Auffray (Q693294):
Displaying 6 items.
- Maximin design on non hypercube domains and kernel interpolation (Q693295) (← links)
- Strategies for modal resolution: Results and problems (Q920970) (← links)
- Linear strategy for propositional modal resolution (Q1113888) (← links)
- Bounding rare event probabilities in computer experiments (Q1623705) (← links)
- (Q3490986) (← links)
- Modal Theorem Proving: An Equational Viewpoint (Q4018166) (← links)