| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 3 |      | Laurent Catach: TABLEAUX: A General Theorem Prover for Modal Logics. J. Autom. Reasoning 7(4): 489-510 (1991) |
| 1988 | ||
| 2 |  | Laurent Catach: Normal Multimodal Logics. AAAI 1988: 491-495 |
| 1986 | ||
| 1 | | Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach: Conceptual Graphs for Semantics and Knowledge Processing. IBM Journal of Research and Development 30(1): 70-79 (1986) |
| 1 | Anne Dugourd | [1] |
| 2 | Jean Fargues | [1] |
| 3 | Marie-Claude Landau | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page