Back to the 2009 catalog

PhD · 2009

Gulay Unel

Deciding Second-Order Logics Using Database Evaluation Techniques

Year

2009

Academic unit

Computer Science

Surname

Unel

Supervisor

David Toman