Jarosław Kachniarz

Zastosowanie metody eliminacji kwantyfikatorów II rzędu w dedukcyjnych bazach danych. (Zastosowanie metody eliminacji kwantyfikatorów II rzędu w dedukcyjnych bazach danych.)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Jan. 17, 2002

Supervisor

• prof. dr hab. Andrzej Szałas

Reviewers

• doc. dr hab. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
• prof. dr hab. Andrzej Skowron