Filter your results
- 4
- 1
- 4
- 1
- 3
- 2
- 1
- 2
- 1
- 2
- 5
- 3
- 3
- 3
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 Results
|
|
sorted by
|
|
Satisfiability Checking and Symbolic ComputationACM Communications in Computer Algebra, 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Journal articles
hal-01648695v1
|
||
|
Experiments with Automated Reasoning in the ClassCICM 2022 - 15th Conference on Intelligent Computer Mathematics, Sep 2022, Tbilisi / Hybrid, Georgia. pp.287-304, ⟨10.1007/978-3-031-16681-5_20⟩
Conference papers
hal-03781994v1
|
||
|
OPERATION CHARACTERISTICS OF PIXELLATED NONLINEAR INTERFERENCE FILTERSJournal de Physique Colloques, 1988, 49 (C2), pp.C2-43-C2-46. ⟨10.1051/jphyscol:1988210⟩
Journal articles
istex
jpa-00227609v1
|
||
|
MODELLING OF CROSS TALK IN 2D BISTABLE ARRAYS AND NOISE ON AN InSb ETALONJournal de Physique Colloques, 1988, 49 (C2), pp.C2-447-C2-450. ⟨10.1051/jphyscol:19882106⟩
Journal articles
istex
jpa-00227616v1
|
||
|
Automated Reasoning in the ClassComputer-Algebra-Rundbrief, 2022, 71, pp.21-26
Journal articles
hal-03886685v1
|