dblp.uni-trier.dewww.uni-trier.de

Jacqueline Castaing Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2002
5EEJacqueline Castaing: Non-commutative Logic for Hand-Written Character Modeling. AISC 2002: 136-153
1992
4 Jacqueline Castaing: A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. FGCS 1992: 1076-1083
1991
3 Jacqueline Castaing: A New Formalisation of Subsumption in Frame-Based Representation Systems. KR 1991: 78-88
1985
2 Jacqueline Castaing: How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. IJCAI 1985: 1208-1213
1983
1 Yves Kodratoff, Jacqueline Castaing: Trivializing the Proof of Trivial Theorems. IJCAI 1983: 930-932

Coauthor Index

1Yves Kodratoff [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)