ETIS - Translation and solving system for boolean formulae with metavariables

Kirje

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.

Juhendajad

Ahti Peder

Juhendatav või välisjuhendatav Anton Karputkin

Kraad

magistrikraad

Õpingute staatus

Kaitstud

Ekstern

Ei

Õpingute algus

29.08.2005

Kaitsmise aasta

2008

Keel

Inglise

Pealkiri originaalkeeles

Translation and solving system for boolean formulae with metavariables

Pealkiri eesti keeles

Täike juhul, kui originaalpealkiri ei ole eesti keeles. Kuvatakse eestikeelses CVs originaalpealkirja järel sulgudes.

Metamuutujatega loogikavalemite transleerimise ja lahendamise süsteem

Asutused

Tartu Ülikool

Eesti Teadusinfosüsteem

Translation and solving system for boolean formulae with metavariables