Author of the publication

Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.

, and . AIMSA, page 55-61. North-Holland, (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.

 

Other publications of authors with the same name

An Approach to Class Reasoning in Symbolic Computation., , and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 240-251. Springer, (1996)Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style., and . AIMSA, page 55-61. North-Holland, (1986)A Desk-Top Sequent Calculus Machine., , and . AISMC, volume 737 of Lecture Notes in Computer Science, page 224-236. Springer, (1992)Embedding Flexible Control Strategies into Object Oriented Languages., and . AAECC, volume 357 of Lecture Notes in Computer Science, page 454-457. Springer, (1988)An Enhanced Sequent Calculus for Reasoning in a Given Domain., , and . DISCO, volume 722 of Lecture Notes in Computer Science, page 369-373. Springer, (1993)