%0 Thesis %1 phd/tr/Sabuncu09 %A Sabuncu, Orkunt %D 2009 %K dblp %T 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ı)

@phdthesis{phd/tr/Sabuncu09, added-at = {2023-12-03T00:00:00.000+0100}, author = {Sabuncu, Orkunt}, biburl = {https://www.bibsonomy.org/bibtex/2a3473d440ae78b9da3bb4ce6908133ac/dblp}, ee = {https://tez.yok.gov.tr/UlusalTezMerkezi/tezDetay.jsp?id=dId1bMIhxzmo0UlJzusl-Q&no=7ra7zoWQNlI8_EN-2d4gXA}, interhash = {9163be585eab97fc4fa6fe1e5a3ed46c}, intrahash = {a3473d440ae78b9da3bb4ce6908133ac}, keywords = {dblp}, school = {Middle East Technical University, Turkey}, timestamp = {2024-04-09T08:42:17.000+0200}, title = {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ı)}, year = 2009 }