David Cyrluk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 David Cyrluk, Richard M. Harris, Deepak Kapur: GEOMETER: A Theorem Prover for Algebraic Geometry. CADE 1988: 770-771

1 Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen: A Multi-Level Geometric Reasoning System for Vision. Artif. Intell. 37(1-3): 291-332 (1988)

Selection of 2 from 10 records - David Cyrluk has 13 coauthors

2		David Cyrluk, Richard M. Harris, Deepak Kapur: GEOMETER: A Theorem Prover for Algebraic Geometry. CADE 1988: 770-771
1		Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen: A Multi-Level Geometric Reasoning System for Vision. Artif. Intell. 37(1-3): 291-332 (1988)