Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record phd/tr/Sabuncu09
@phdthesis{DBLP:phd/tr/Sabuncu09, author = {Orkunt Sabuncu}, title = {Using model generation theorem provers for the computation of answer sets (Yan{\i}t k{\"{u}}melerinin hesaplanmas{\i}nda model olu{\c{s}}turabilen teorem ispatlay{\i}c{\i}lar{\i}n{\i}n kullan{\i}lmas{\i})}, school = {Middle East Technical University, Turkey}, year = {2009}, url = {https://tez.yok.gov.tr/UlusalTezMerkezi/tezDetay.jsp?id=dId1bMIhxzmo0UlJzusl-Q\&no=7ra7zoWQNlI8\_EN-2d4gXA}, timestamp = {Sun, 03 Dec 2023 12:24:27 +0100}, biburl = {https://dblp.org/rec/phd/tr/Sabuncu09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.