Pierre Tayrac

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

1 Pierre Tayrac: ARC: An Extended ATMS Based on Directed CAT-Correct Resolution. Truth Maintenance Systems (ECAI Workshop) 1990: 107-124