Jacqueline Castaing
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1983–2002
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | AISC | Non-commutative Logic for Hand-Written Character Modeling. | Jacqueline Castaing |
| 1991 | KR | A New Formalisation of Subsumption in Frame-Based Representation Systems. | Jacqueline Castaing |
| 1985 | IJCAI | How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. | Jacqueline Castaing |
| 1983 | IJCAI | Trivializing the Proof of Trivial Theorems. | Yves Kodratoff, Jacqueline Castaing |