( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Human-Computer Interfaces for Sensor/Actuator Networks.

, и . HCI (2), том 9732 из Lecture Notes in Computer Science, стр. 379-387. Springer, (2016)

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.

Harm Henschen

Stephan Henschen

Tobias Henschen

Erwin Henschen

Ursula Henschen

 

Другие публикации лиц с тем же именем

Integrating External Functions in an Object Oriented Reasoning System., и . ICTAI, стр. 712-715. IEEE Computer Society, (1994)Performing Inferences over Recursive Data Bases., и . AAAI, стр. 263-265. AAAI Press/MIT Press, (1980)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , и . J. Autom. Reason., 10 (3): 345-370 (1993)An efficient database transitive closure algorithm., , и . Appl. Intell., 4 (2): 205-218 (1994)A Graph Proof Procedure for Real Time Logic., и . SEKE, стр. 300-306. IEEE Computer Society, (1992)Theorem Proving by Covering Expressions.. J. ACM, 26 (3): 385-400 (1979)On the use and internal structure of logic-based decision support systems., и . Decis. Support Syst., 1 (3): 205-219 (1985)Using Semantic-Level Tags in HTML/XML Documents., и . HCI (7), том 5616 из Lecture Notes in Computer Science, стр. 683-692. Springer, (2009)Assumption analysis in compiled logic-based decision support systems (LDSSs) (abstract only)., и . ACM Conference on Computer Science, стр. 429. ACM, (1985)Recursive Query Answering with Non-Horn Clauses., и . CADE, том 310 из Lecture Notes in Computer Science, стр. 294-312. Springer, (1988)