PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Huang, Xiaorong"

Author of the publication

copydeleteadd this publication to your clipboard
Omega: Towards a Mathematical Assistant.

, , , , , , , , , , , , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 252-255. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhenxiang Huang University of Stuttgart

Jingjing Huang University of Stuttgart

Dr. rer. nat. Shiang-Yu Huang University of Stuttgart

Dr. -Ing. Min Huang University of Stuttgart

Shih-Min Huang University of Stuttgart

 

Other publications of authors with the same name

Applications of Assertions as Elementary Tactics in Proof Planning.. AIMSA, page 25-34. (1992)An extended support vector machine forecasting framework for customer churn in e-commerce., , , and . Expert Syst. Appl., 38 (3): 1425-1430 (2011)Planning Mathematical Proofs with Methods., , , and . Elektronische Informationsverarbeitung und Kybernetik, 30 (5/6): 277-291 (1994)Die Beweisentwicklungsumgebung Omega-MKRP., , , , , , and . Inform., Forsch. Entwickl., 11 (1): 20-26 (1996)Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.. PRICAI, volume 1114 of Lecture Notes in Computer Science, page 399-410. Springer, (1996)Adaptation of Declaratively Represented Methods in Proof Planning., , and . Ann. Math. Artif. Intell., 23 (3-4): 299-320 (1998)Adapting Methods to Novel Tasks in Proof Planning., , , and . KI, volume 861 of Lecture Notes in Computer Science, page 379-390. Springer, (1994)A Pareto supplier selection algorithm for minimum the life cycle cost of complex product system., , , , and . Expert Syst. Appl., 42 (9): 4253-4264 (2015)Proof Transformation Towards Human Reasoning Style.. GWAI, volume 216 of Informatik-Fachberichte, page 37-42. Springer, (1989)A survey on the application of fuzzy systems for underactuated systems., , , and . J. Systems & Control Engineering, (2019)