Search the dblp DataBase
Jacqueline Castaing :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jacqueline Castaing Non-commutative Logic for Hand-Written Character Modeling. [Citation Graph (0, 0)][DBLP ] AISC, 2002, pp:136-153 [Conf ] Jacqueline Castaing A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:1076-1083 [Conf ] Jacqueline Castaing How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. [Citation Graph (0, 0)][DBLP ] IJCAI, 1985, pp:1208-1213 [Conf ] Yves Kodratoff , Jacqueline Castaing Trivializing the Proof of Trivial Theorems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1983, pp:930-932 [Conf ] Jacqueline Castaing A New Formalisation of Subsumption in Frame-Based Representation Systems. [Citation Graph (0, 0)][DBLP ] KR, 1991, pp:78-88 [Conf ] Search in 0.001secs, Finished in 0.001secs