Rajiv Bagai (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI 1993: 354-358

1 Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Automatic Theorem Generation in Plane Geometry. ISMIS 1993: 415-424

Selection of 2 from 15 records - Rajiv Bagai has 8 coauthors

2		Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Discovery of Geometry Theorems: Avoiding Isomorphic Situation Descriptions. ICCI 1993: 354-358
1		Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou: Automatic Theorem Generation in Plane Geometry. ISMIS 1993: 415-424