See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Translation and solving system for boolean formulae with metavariables

Anton Karputkin, magistrikraad, 2008, (juh) Ahti Peder, Translation and solving system for boolean formulae with metavariables (Metamuutujatega loogikavalemite transleerimise ja lahendamise süsteem), Tartu Ülikool.
Anton Karputkin
magistrikraad
Kaitstud
Ei
29.08.2005
2008
Inglise
Translation and solving system for boolean formulae with metavariables
Metamuutujatega loogikavalemite transleerimise ja lahendamise süsteem