Author of the publication

Experiences in the establishment of a microcomputer support laboratory.

, and . SIGUCCS, page 45-54. ACM, (1983)

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.

 

Other publications of authors with the same name

Triangular decomposition., , and . Image Vis. Comput., 5 (3): 225-231 (1987)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)Data directed control and operating systems., , and . Comput. J., 15 (2): 125-129 (1972)How Complete Are Knowledge-Representation Systems?. Computer, 16 (10): 114-118 (1983)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)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.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)Absys: The Historical Inevitability of Logic Programming.. NACLP, page 1201-1214. MIT Press, (1989)