( en | de | ru )

 

Disambiguation of "Elcock, Edward W."

Author of the publication

copydeleteadd this publication to your clipboard
Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy.

, and . AAAI, page 766-777. Morgan Kaufmann, (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. You can also use the button next to the name to display some publications already assigned to the person.

Edward Fischer

Edward Sobel

Edward Totten

Edward Zahn

Edward Hartstein

 

Other publications of authors with the same name

Triangular decomposition., , and . Image Vis. Comput., 5 (3): 225-231 (1987)How Complete Are Knowledge-Representation Systems?. Computer, 16 (10): 114-118 (1983)Data directed control and operating systems., , and . Comput. J., 15 (2): 125-129 (1972)A framework for the generation of microcomputer-based application., , and . SIGSMALL, page 179-189. ACM, (1985)Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy., and . AAAI, page 766-777. Morgan Kaufmann, (1986)Knowledge Representation in an Efficient Deductive Inference System., and . Logic Programming Workshop, page 216-228. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)The Pragmatics of Prolog: Some Comments.. Logic Programming Workshop, page 94-106. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, (1983)PROLOG: Subsumption of Equality Axioms by the Homogeneous Form., and . SLP, page 115-126. IEEE-CS, (1986)long version: JLP 6(1&2): 45-56.Prolog: Subsumption of Equality Axioms by the Homogeneous Form.. J. Log. Program., 6 (1&2): 45-56 (1989)preliminary version: SLP 1986: 115-126.Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming.. Computational Logic - Essays in Honor of Alan Robinson, page 701-721. The MIT Press, (1991)