Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Omega: Towards a Mathematical Assistant.

C. Benzmüller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, X. Huang, M. Kerber, M. Kohlhase, K. Konrad, A. Meier, E. Melis, W. Schaarschmidt, J. Siekmann, und V. Sorge. CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 252-255. Springer, (1997)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

Weitere Publikationen von Autoren mit dem selben Namen

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