HONGBO LI, & YIHONG WU. (2001, Januar 1). Automated theorem proving in incidence geometry : A bracket algebra based elimination method. Gehalten auf der. Berlin: Springer, 2001. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14047690
ISO-690 (author-date, English)HONGBO LI und YIHONG WU, 2001. Automated theorem proving in incidence geometry : A bracket algebra based elimination method. In: [online]. Berlin: Springer, 2001. 1 Januar 2001. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14047690
Modern Language Association 9th editionHONGBO LI, und YIHONG WU. Automated theorem proving in incidence geometry : A bracket algebra based elimination method. Berlin: Springer, 2001., 2001, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14047690.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HONGBO LI und YIHONG WU. (2001), „Automated theorem proving in incidence geometry : A bracket algebra based elimination method“, in , Bd. , Berlin: Springer, 2001., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=14047690.