Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Preservative Translations between Logical Systems6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. pp.55-63, ⟨10.1007/978-3-642-16327-2_10⟩
Conference papers
hal-01060356v1
|