From post

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.

 

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

Guest Editorial.. Knowledge Eng. Review, 11 (4): 301 (1996)An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based Transformations., и . LOPSTR, том 1048 из Lecture Notes in Computer Science, стр. 174-188. Springer, (1995)Automatic Bottom-Up Analysis and Transformation of Logic Programs., , и . SBIA, том 1159 из Lecture Notes in Computer Science, стр. 191-200. Springer, (1996)Transformational Development of Logic Programs from Executable Specifications., и . ICLP Workshop: Applications of Logic Programming to Software Engineering, (1994)Declarative specifications., и . Knowledge Eng. Review, 11 (4): 317-331 (1996)Hoare Logic, Executable Specifications and Logic Programs.. Struct. Program., 13 (3): 129-135 (1992)Writing Clinical Practice Guidelines in Controlled Natural Language., , , , , и . CNL, том 5972 из Lecture Notes in Computer Science, стр. 265-280. Springer, (2009)Attempto - Englisch als (formale) Spezifikationssprache (system description)., , и . WLP, Ludwig Maximilians Universität München, (1997)Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines., , , , и . Reasoning Web, том 3564 из Lecture Notes in Computer Science, стр. 213-250. Springer, (2005)SALN-4, A Software Specification and Design Language., , , и . Software Engineering, том 5 из Berichte des German Chapter of the ACM, стр. 91-108. Teubner, (1980)