Emmanuel Lafon

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1988

1 Emmanuel Lafon, Camilla Schwind: A Theorem Prover for Action Performance. ECAI 1988: 541-546

	1988
1		Emmanuel Lafon, Camilla Schwind: A Theorem Prover for Action Performance. ECAI 1988: 541-546

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page