Dit is de opdracht dfg2otter die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
dfg2otter - transformeert DFG-clausulebestanden naar Otter-formaat
KORTE INHOUD
dfg2otter [opties]
PRODUCTBESCHRIJVING
dfg2otter is een C-programma om probleeminvoerbestanden in te transformeren DFG syntaxis in Otter syntaxis.
Het accepteert alle opties van SPASS, hoewel slechts een subset effect heeft op de vertaling.
dfg2otter ontkent vermoedenformules van de SPASS invoerbestand voordat u de Otter afdrukt
bruikbare lijst. De SPASS De lijst met vermoedenformules wordt vertaald in een disjunctie van de
enkele vermoedens ontkend. Als de SPASS invoerbestand bestaat uit clausules, deze niet
gewijzigd.
Gebruik dfg2otter online met behulp van onworks.net-services
