( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Unification Revisited.

, , и . Foundations of Logic and Functional Programming, том 306 из Lecture Notes in Computer Science, стр. 67-113. Springer, (1986)

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.

Kamran Maher

Schiva Maher

Kamran Maher

Moustafa Maher Ali Ragheb

Gita Maher

 

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

Elimination of Negation in Term Algebras., , и . MFCS, том 520 из Lecture Notes in Computer Science, стр. 1-16. Springer, (1991)Strategic Argumentation., , и . FLAP, 8 (6): 1679-1748 (2021)Optimal Fixedpoints of Logic Programs., и . Theor. Comput. Sci., (1985)A Tranformation System for Deductive Databases Modules with Perfect Model Semantics.. Theor. Comput. Sci., 110 (2): 377-403 (1993)Rethinking Defeasible Reasoning: A Scalable Approach., , , , и . Theory Pract. Log. Program., 20 (4): 552-586 (2020)Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent Programs., , и . PODC, стр. 241-255. ACM, (1991)Beyond Finite Domains., , , и . PPCP, том 874 из Lecture Notes in Computer Science, стр. 86-94. Springer, (1994)Human and Unhuman Commonsense Reasoning.. LPAR (Yogyakarta), том 6397 из Lecture Notes in Computer Science, стр. 16-29. Springer, (2010)Equivalences of Logic Programs. Foundations of Deductive Databases and Logic Programming., Morgan Kaufmann, (1988)Reasoning with Disjunctive Constrained Tuple-Generating Dependencies., , и . DEXA, том 2113 из Lecture Notes in Computer Science, стр. 963-973. Springer, (2001)