( en | de | ru )

 

Disambiguation of "Lowe, Helen"

Author of the publication

copydeleteadd this publication to your clipboard
Proof planning for maintainable configuration systems.

, , and . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 345-356 (1998)

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.

Aili Helenius

Anttiheikki Helenius

Arno Löwe

Werner Löwe

Rudolf Löwe

 

Other publications of authors with the same name

The Use of Theorem Provers in the Teaching and Practice of Formal Methods.. IWFM, BCS, (1997)System Description: CyNTHIA., , , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 388-392. Springer, (1999)Proof planning for maintainable configuration systems., , and . Artif. Intell. Eng. Des. Anal. Manuf., 12 (4): 345-356 (1998)Proof planning: A methodology for developing AI systems incorporating design issues.. Artif. Intell. Eng. Des. Anal. Manuf., 8 (4): 307-317 (1994)System Description: Interactive Proof Critics in XBarnacle., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 502-506. Springer, (2000)Extending the proof plan methodology to computer configuration problems.. Applied Artificial Intelligence, 5 (3): 227-252 (1991)An Editor for Helping Novices to Learn Standard ML., , and . PLILP, volume 1292 of Lecture Notes in Computer Science, page 389-405. Springer, (1997)An architecture for supporting vicarious learning in a distributed environment., , , , , and . SAC, page 963-970. ACM, (2004)The Role of Proof in a Formal Specification of the Speedway Rulebook., and . IWFM, BCS, (1999)XBarnacle: Making Theorem Provers More Accessible., and . CADE, volume 1249 of Lecture Notes in Computer Science, page 404-407. Springer, (1997)