Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Expert System for a Resource Allocation Problem., und . Commun. ACM, 28 (9): 994-1004 (1985)Interpolation Theorems for Resolution in Lower Predicate Calculus.. J. ACM, 17 (3): 535-542 (1970)Application of Game Tree Searching Techniques to Sequential Pattern Recognition., und . Commun. ACM, 14 (2): 103-110 (1971)Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules., und . Commun. ACM, 16 (11): 682-688 (1973)Automating the Discovery of Causal Relationships in a Medical Records Database: The POSCH AI Project., , und . Knowledge Discovery in Databases, AAAI/MIT Press, (1991)A Knowledge-Based System for the Image Correspondence Problem., , und . IJPRAI, 4 (1): 45-56 (1990)A Graphical Data Flow Language for Retrieval, Analysis, and Visualization of a Scientific Database., , , , , und . J. Vis. Lang. Comput., 7 (3): 247-265 (1996)Lessons learned while implementing expert systems in the real world of clinical trials data analyses: The POSCH AI project., , , , , , und . CBMS, Seite 167-172. IEEE, (1988)A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus.. J. ACM, 10 (4): 507-520 (1963)Automatic Theorem Proving with Built-in Theories Including Equality, Partial Ordering, and Sets.. J. ACM, 19 (1): 120-135 (1972)