Pierre Tayrac

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

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