Jarosław Kachniarz

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 (Instytut Podstaw Informatyki PAN)
• prof. dr hab. Andrzej Skowron