Using model generation theorem provers for the computation of answer sets (Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılması) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Orkunt Sabuncu. Using model generation theorem provers for the computation of answer sets (Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılması). PhD thesis, Middle East Technical University, Turkey, 2009. [doi]

The following publications are possibly variants of this publication:

Using model generation theorem provers for the computation of answer sets ; Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılmasıOrkunt Sabuncu. PhD thesis, Middle East Technical University, Çankaya, Ankara, Turkey, 2009. [doi]

runs on WebDSL