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.)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

17 stycznia 2002

Promotor

• prof. dr hab. Andrzej Szałas

Recenzenci

• doc. dr hab. Włodzimierz Drabent
• prof. dr hab. Andrzej Skowron