( en | de | ru )

 

Disambiguierung von "Henschen, Lawrence J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A New Hyperparamodulation Strategy for the Equality Relation.

, und . IJCAI, Seite 1138-1145. Morgan Kaufmann, (1985)

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.

Harm Henschen

Tobias Henschen

Stephan Henschen

Ursula Henschen

Erwin Henschen

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluation of Recursive Queries with Extended Rules in Deductive Databases., und . IEEE Trans. Knowl. Data Eng., 7 (2): 328-331 (1995)Human-Computer Interfaces for Sensor/Actuator Networks., und . HCI (2), Volume 9732 von Lecture Notes in Computer Science, Seite 379-387. Springer, (2016)The Level-Cycle Merging Method., und . DOOD, Seite 65-81. North-Holland/Elsevier Science Publishers, (1989)A New Hyperparamodulation Strategy for the Equality Relation., und . IJCAI, Seite 1138-1145. Morgan Kaufmann, (1985)Hyper Resolution and Equality Axioms without Function Substitutions., und . CADE, Volume 449 von Lecture Notes in Computer Science, Seite 456-469. Springer, (1990)Discovering and Resolving User Intent in Heterogeneous Databases., und . ISMIS, Volume 1932 von Lecture Notes in Computer Science, Seite 389-399. Springer, (2000)An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases., , und . IEEE Trans. Knowl. Data Eng., 6 (5): 713-722 (1994)A Top-Down Inference Procedure for Template Dependencies., und . Comput. J., 31 (1): 51-55 (1988)On Exclusive Disjunctions in Deductive Database., und . DASFAA, Volume 4 von Advanced Database Research and Development Series, Seite 353-359. World Scientific, (1993)A Broad Platform for Smart City Projects Idea Contribution and Interaction., und . HCI (24), Volume 13325 von Lecture Notes in Computer Science, Seite 158-168. Springer, (2022)