Carlos Araya (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Frank M. Brown, Carlos Araya: Schemata. CADE 1990: 643-644

2 Frank M. Brown, Carlos Araya: Cylindric Algebra Equation Solver. CADE 1990: 645-646

1 Carlos Araya, Frank M. Brown: SCHEMATA: A Language for Deduction. ECAI 1990: 38-40

Selection of 3 from 5 records - Carlos Araya has 5 coauthors

3		Frank M. Brown, Carlos Araya: Schemata. CADE 1990: 643-644
2		Frank M. Brown, Carlos Araya: Cylindric Algebra Equation Solver. CADE 1990: 645-646
1		Carlos Araya, Frank M. Brown: SCHEMATA: A Language for Deduction. ECAI 1990: 38-40