Yusuke Baba

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

1 Yusuke Baba, Masakazu Suzuki: An Annotated Corpus and a Grammar Model of Theorem Description. MKM 2003: 93-104

	2003
1		Yusuke Baba, Masakazu Suzuki: An Annotated Corpus and a Grammar Model of Theorem Description. MKM 2003: 93-104

Coauthor Index