Publications/Manuscripts of Xiaorong Huang
1997
[1] OMEGA: Towards a mathematical assistant (Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Erica Melis, Andreas Meier, Wolf Schaarschmidt, Jörg Siekmann, Volker Sorge), In Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings (William McCune, ed.), Springer, LNCS, number 1249, pp. 252-255, 1997. [bibtex] [pdf] [doi]
Powered by bibtexbrowser