Sökning: "Agneta Eriksson-Granskog"

Hittade 1 avhandling innehållade orden Agneta Eriksson-Granskog.

1. 1. General Metarules for Interactive Modular Construction of Natural Deduction Proofs

   Författare :Agneta Eriksson-Granskog; Tarmo Uustalu; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap; Computer and Systems Sciences; data- och systemvetenskap;

   Sammanfattning : This thesis proposes a set of general metarules for interactive modular construction of natural deduction proofs.Interactive proof support systems are used for the construction of formal proofs in formal program development. LÄS MER