Son Thanh Cao

Methods for evaluating queries to Horn knowledge bases in first-order logic (Methods for evaluating queries to Horn knowledge bases in first-order logic)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

23 czerwca 2016

Promotor

• dr hab. Anh Linh Nguyen

Promotor pomocniczy

• dr hab. Joanna Golińska-Pilarek

Recenzenci

• prof. Włodzimierz Drabent (Instytut Podstaw Informatyki PAN)
• dr hab. Emanuel Kieroński (Uniwersytet Wrocławski)

Dokumenty

• Rozprawa